PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gadducci F., Santini F. Validating reconfigurations of reo circuits. In: ICTCS 2013 - 14th Italian Conference on Theoretical Computer Science (Palermo, Italy, 9-11 September 2013). Atti, pp. 36 - 44. UniversitÓ degli Studi di Palermo, 2013.
 
 
Abstract
(English)
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.
Subject Graph rewriting
Coordination
Reo
Reconfiguration
Quality of Service (QoS)
G.2 DISCRETE MATHEMATICS. Graph theory; Applications
G.2 DISCRETE MATHEMATICS. Applications


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional