Stochastically timed predicate-based communication primitives for autonomic computing (Contributo in atti di convegno)

Type
Label
  • Stochastically timed predicate-based communication primitives for autonomic computing (Contributo in atti di convegno) (literal)
Anno
  • 2014-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.4204/EPTCS.154.1 (literal)
Alternative label
  • Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni (2014)
    Stochastically timed predicate-based communication primitives for autonomic computing
    in Quantitative Aspects of Programming Languages and Systems, Grenoble, France, 12-13 April 2014
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Diego Latella, Michele Loreti, Mieke Massink, Valerio Senni (literal)
Pagina inizio
  • 1 (literal)
Pagina fine
  • 16 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Grant agreement: 600708 Tipo Progetto: EU_FP7 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2014.1 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana
  • 154 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 16 (literal)
Note
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • ISTI - CNR; Università di Firenze; ISTI - CNR; IMT Lucca (literal)
Titolo
  • Stochastically timed predicate-based communication primitives for autonomic computing (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Nathalie Bertrand and Luca Bortolussi (literal)
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, of which two in more detail. We provide a formal semantics definition and an illustration of the use of the language modeling a bike sharing system, together with some preliminary analysis of the system performance. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it