eprintid: 2152
rev_number: 9
eprint_status: archive
userid: 6
dir: disk0/00/00/21/52
datestamp: 2014-02-27 09:26:50
lastmod: 2014-02-27 09:26:50
status_changed: 2014-02-27 09:26:50
type: monograph
metadata_visibility: show
creators_name: Latella, Diego
creators_name: Loreti, Michele
creators_name: Massink, Mieke
creators_name: Senni, Valerio
creators_id: 
creators_id: 
creators_id: 
creators_id: valerio.senni@imtlucca.it
title: Stochastically timed predicate-based communication primitives
for autonomic computing
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: technical_report
abstract: 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.
date: 2014
date_type: published
number: 3
publisher: QUANTICOL Project
pages: 38
institution: IMT Institute for Advanced Studies Lucca
official_url: http://blog.inf.ed.ac.uk/quanticol/technical-reports/
citation:   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         
document_url: http://eprints.imtlucca.it/2152/1/StocSTRQcol.pdf