We formalize dynamic reconfiguration of Reo circuits (multi-party interactions built from primitive channels) by graph transformation and apply it to a critical infrastructure controlling the business process of an e-banking scenario, in which reconfiguration is triggered as soon as the communication buffers reach specific predefined thresholds of congestion.
Validating reconfigurations of reo circuits
Ter Beek M;
2013
Abstract
We formalize dynamic reconfiguration of Reo circuits (multi-party interactions built from primitive channels) by graph transformation and apply it to a critical infrastructure controlling the business process of an e-banking scenario, in which reconfiguration is triggered as soon as the communication buffers reach specific predefined thresholds of congestion.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_277804-doc_78428.pdf
accesso aperto
Descrizione: Validating Reconfigurations of Reo Circuits
Tipologia:
Versione Editoriale (PDF)
Dimensione
436.04 kB
Formato
Adobe PDF
|
436.04 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
