PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gadducci F., Santini F. Validating reconfigurations of reo circuits in an e-Banking scenario. In: ISARCS 2013 - 4th International ACM Sigsoft Symposium on Architecting Critical Systems (Vancouver, British Columbia, Canada, 17-21 June 2013). Proceedings, pp. 39 - 47. Sam Malek (ed.). ACM, 2013.
 
 
Abstract
(English)
We formalize dynamic reconfiguration of Reo circuits (which can be thought of as multi-party communication infrastructures built from primitive channels) through graph transformation, and apply it to a scenario from the Finance domain: a critical infrastructure controlling the business process of an e-banking system. In this scenario, reconfiguration is triggered as soon as the communication buffers reach specific predefined thresholds of congestion. These constraints are implemented inside the Reo model by associating suitable predicates to channels, thus extending previous results on the use of graph transformation for the reconfiguration of Reo's graphical structures.
URL: http://dl.acm.org/citation.cfm?doid=2465470.2465474
DOI: http://dx.doi.org/10.1145/2465470.2465474
Subject Graph rewriting
Coordination
Reo
Reconfiguration
Quality of Service (QoS)
G.2.3 DISCRETE MATHEMATICS. Applications
G.2.2 Graph Theory


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