Date
2007
Collection title
Lecture Notes in Computer Science
Collection Id
4574
Dewey
Informatique générale
Sujet
state explosion problem; behavioural protocols
Conference name
27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, FORTE 2007
Conference date
06-2007
Conference city
Tallinn
Conference country
Estonie
Book title
Formal Techniques for Networked and Distributed Systems - FORTE 2007. 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings.
Author
Derrick, John; Vain, Jüri
Publisher
Springer
Publisher city
Berlin
Year
2007
Pages number
375
ISBN
978-3-540-73195-5
Author
Haddad, Serge
Poizat, Pascal
Type
Communication / Conférence
Item number of pages
341-357
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.