Predicate-based communication allows components of a system to send messages and re- quests 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.

TR 11: On STOCS: a stochastic exten- sion of SCEL.

Latella D;Massink M;
2014

Abstract

Predicate-based communication allows components of a system to send messages and re- quests 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.
2014
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Calculi for Autonomic Computing
Quantitative Modelling and Analysis of Systems
Stochastic Process Algebras
File in questo prodotto:
File Dimensione Formato  
prod_285220-doc_81549.pdf

solo utenti autorizzati

Descrizione: TR 11: On STOCS: a stochastic exten- sion of SCEL.
Dimensione 631.12 kB
Formato Adobe PDF
631.12 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/223590
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact