• français
    • English
  • English 
    • français
    • English
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
BIRD Home

Browse

This CollectionBy Issue DateAuthorsTitlesSubjectsJournals BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesSubjectsJournals

My Account

Login

Statistics

View Usage Statistics

Transactional Reduction of Component Compositions

Thumbnail
View/Open
FORTE2007.PDF (226.5Kb)
Date
2007
Collection title
Lecture Notes in Computer Science
Collection Id
4574
Dewey
Informatique générale
Sujet
state explosion problem; behavioural protocols
DOI
http://dx.doi.org/10.1007/978-3-540-73196-2_22
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
Book URL
http://dx.doi.org/10.1007/978-3-540-73196-2
URI
https://basepub.dauphine.fr/handle/123456789/4971
Collections
  • LAMSADE : Publications
Metadata
Show full item record
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.

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Content on this site is licensed under a Creative Commons 2.0 France (CC BY-NC-ND 2.0) license.