Transactional Reduction of Component Compositions
Haddad, Serge; Poizat, Pascal (2007), Transactional Reduction of Component Compositions, in Derrick, John; Vain, Jüri, Formal Techniques for Networked and Distributed Systems - FORTE 2007. 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings., Springer : Berlin, p. 341-357. http://dx.doi.org/10.1007/978-3-540-73196-2_22
TypeCommunication / Conférence
Conference title27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, FORTE 2007
Book titleFormal Techniques for Networked and Distributed Systems - FORTE 2007. 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings.
Book authorDerrick, John; Vain, Jüri
Series titleLecture Notes in Computer Science
Number of pages375
MetadataShow full item record
Abstract (EN)Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composition correctness checking and adaptation. However, resulting composition models (e.g., orchestrations or adaptors) often contain redundant or useless parts yielding the state explosion problem. Mechanisms to reduce the state space of behavioural composition models are therefore required. While reduction techniques are numerous, e.g., in the process algebraic framework, none is suited to compositions where provided/required services correspond to transactions of lower-level individual event based communications. In this article we address this issue through the definition of a dedicated model and reduction techniques. They support transactions and are therefore applicable to service architectures.
Subjects / Keywordsstate explosion problem; behavioural protocols
Showing items related by title and author.
Transactional-Aware Web Service Composition: A Survey Transactional-Aware Web Service Composition: A Survey Cardinale, Yudith; El Haddad, Joyce; Manouvrier, Maude; Rukoz, Marta (2011) Chapitre d'ouvrage