Istituto di Scienza e Tecnologie dell'Informazione     
Latella D., Loreti M., Massink M. Investigating fluid-flow semantics of asynchronous tuple-based process languages for collective adaptive systems. 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 June 2015). Proceedings, vol. 9037 pp. 19 - 34. Tom Holvoet, Mirko Viroli (eds.). (Lecture Notes in Computer Science, vol. 9037). Springer, 2015.
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.
URL: http://link.springer.com/chapter/10.1007%2F978-3-319-19282-6_2
DOI: 10.1007/978-3-319-19282-6_2
Subject Collective Adaptive Systems
Tuple-Based Languages
Fluid-Flow Formal Semantics
D.3.1 Formal Definitions and Theory
68N30 Mathematical aspects of software engineering

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional