PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Latella D., Loreti M., Massink M., Senni V. Stochastically timed predicate-based communication primitives for autonomic computing. In: QAPL 2014 - Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (Grenoble, France, 12-13 April 2014). Proceedings, pp. 1 - 16. (Electronic Proceedings in Theoretical Computer Science, vol. 154). EPTCS, 2014.
 
 
Abstract
(English)
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, of which two in more detail. We provide a 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.
URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2014.1
DOI: http://eptcs.web.cse.unsw.edu.au/content.cgi?QAPL2014
Subject Calculi for Autonomic Computing
Quantitative Modelling and Analysis of Systems
Stochastic Process Algebras
H.1 Models and Principles
F.4 Mathematical Logic and Formal Languages
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)


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