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.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.