Paper Info
Title
Investigating Fluid-Flow Semantics Of Asynchronous Tuple-Based Process Languages For Collective Adaptive Systems
Abstract
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 paradigmmay be facilitated by the use of languages in which adaptive interaction is decoupled in time and space through asynchronous 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 behaviour of large populations. We show the application of the language and the ODE analysis on a benchmark example of foraging ants.
Year
DOI
Venue
2015
10.1007/978-3-319-19282-6_2
COORDINATION MODELS AND LANGUAGES, COORDINATION 2015
Keywords
Field
DocType
Asynchronous coordination languages, Stochastic process algebras, Fluid-flow approximation, Continuous time markov chains
Population,Asynchronous communication,Operational semantics,Tuple,Computer science,Denotational semantics,Theoretical computer science,Semantics,Ode,Differential semantics
Conference
Volume
ISSN
Citations 
9037
0302-9743
2
PageRank 
References 
Authors
0.40
19
3
Name
Order
Citations
PageRank
Diego Latella11168113.42
Michele Loreti281258.60
Mieke Massink3109587.58