%0 Conference Proceedings
%T Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems
%+ CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa] (CNR | ISTI)
%+ IMT Alti Studi Lucca
%A Latella, Diego
%A Loreti, Michele
%A Massink, Mieke
%Z Part 1: Tuple-Based Coordination
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 17th International Conference on Coordination Languages and Models (COORDINATION)
%C Grenoble, France
%Y Tom Holvoet
%Y Mirko Viroli
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-9037
%P 19-34
%8 2015-06-02
%D 2015
%R 10.1007/978-3-319-19282-6_2
%K Asynchronous coordination languages
%K Stochastic process algebras
%K Fluid-flow approximation
%K Continuous time markov chains
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01774942/document
%2 https://inria.hal.science/hal-01774942/file/978-3-319-19282-6_2_Chapter.pdf
%L hal-01774942
%U https://inria.hal.science/hal-01774942
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-9037