Logo eprints

Stochastically timed predicate-based communication primitives for autonomic computing

Latella, Diego and Loreti, Michele and Massink, Mieke and Senni, Valerio Stochastically timed predicate-based communication primitives for autonomic computing. Technical Report #3/2014 QUANTICOL Project

PDF - Published Version
Download (856kB) | Preview


Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of a predicate, in a multicast fashion. Predicate-based communication can greatly simplify the programming of autonomous and adaptive systems. We present a stochastically timed extension of the Software Component Ensemble Language (SCEL) that was introduced in previous work. Such an extension raises a number of non-trivial design and formal semantics issues with different options as possible solutions at different levels of abstraction. We discuss four of these options. We provide formal semantics and an illustration of the use of the language modeling a variant of a bike sharing system, together with some preliminary analysis of the system performance.

Item Type: Working Paper (Technical Report)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Ms T. Iannizzi
Date Deposited: 27 Feb 2014 09:26
Last Modified: 27 Feb 2014 09:26
URI: http://eprints.imtlucca.it/id/eprint/2152

Actions (login required)

Edit Item Edit Item