1
|
<?xml version="1.0" encoding="UTF-8"?>
|
2
|
<record xmlns="http://www.openarchives.org/OAI/2.0/">
|
3
|
<header>
|
4
|
<identifier>oai:pumaoai.isti.cnr.it:cnr.isti/cnr.isti/2015-A2-013</identifier>
|
5
|
<datestamp>2015-06-03</datestamp>
|
6
|
<setSpec>openaire</setSpec>
|
7
|
</header>
|
8
|
<metadata>
|
9
|
<oai_dc:dc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
|
10
|
<dc:title>Investigating fluid-flow semantics of asynchronous tuple-based process languages for collective adaptive systems</dc:title>
|
11
|
<dc:creator>Latella, Diego</dc:creator>
|
12
|
<dc:creator>Loreti, Michele</dc:creator>
|
13
|
<dc:creator>Massink, Mieke</dc:creator>
|
14
|
<dc:subject>Collective Adaptive Systems</dc:subject>
|
15
|
<dc:subject>Tuple-Based Languages</dc:subject>
|
16
|
<dc:subject>Fluid-Flow Formal Semantics</dc:subject>
|
17
|
<dc:subject>info:eu-repo/classification/acm/D.3.1 Formal Definitions and Theory</dc:subject>
|
18
|
<dc:subject>info:eu-repo/classification/msc/68N30 Mathematical aspects of software engineering</dc:subject>
|
19
|
<dc:description>Recently, there has been growing interest in nature-inspired interaction paradigms for Collective Adaptive Systems, for modelling and implementation of adaptive and context-aware coordination, among which the promising pheromone-based interaction paradigm. System modelling in the context of such a paradigm may be facilitated by the use of languages in which adaptive interaction is decoupled in time and space through asyn- chronous buffered communication, e.g. asynchronous, repository- or tuple- based languages. In this paper we propose a differential semantics for such languages. In particular, we consider an asynchronous, repository based modelling kernel-language which is a restricted version of LINDA, extended with stochastic information about action duration. We provide stochastic formal semantics for both an agent-based view and a population-based view. We then derive an ordinary differential equation semantics from the latter, which provides a fluid-flow deterministic approximation for the mean be- haviour of large populations. We show the application of the language and the ODE analysis on a benchmark example of foraging ants.</dc:description>
|
20
|
<dc:publisher>Springer</dc:publisher>
|
21
|
<dc:contributor>Tom Holvoet, Mirko Viroli</dc:contributor>
|
22
|
<dc:relation>info:eu-repo/grantAgreement/EC/FP7/600708/EU/A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours/QUANTICOL</dc:relation>
|
23
|
<dc:date>2015</dc:date>
|
24
|
<dc:type>info:eu-repo/semantics/conferenceObject</dc:type>
|
25
|
<dc:identifier>http://puma.isti.cnr.it/dfdownloadnew.php?ident=cnr.isti/cnr.isti/2015-A2-013</dc:identifier>
|
26
|
<dc:language>en</dc:language>
|
27
|
<dc:source>In: COORDINATION 2015 - Coordination Models and Languages. 17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015 (Grenoble, France, 2-4</dc:source>
|
28
|
<dc:relation>info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/chapter/10.1007%2F978-3-319-19282-6_2</dc:relation>
|
29
|
<dc:relation>info:eu-repo/semantics/altIdentifier/isbn/978-3-319-19281-9 (print) 978-3-319-19282-6 (online)</dc:relation>
|
30
|
<dc:relation>info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-319-19282-6_2</dc:relation>
|
31
|
<dc:format>application/pdf</dc:format>
|
32
|
<dc:rights>info:eu-repo/semantics/restrictedAccess</dc:rights>
|
33
|
</oai_dc:dc>
|
34
|
</metadata>
|
35
|
</record>
|