Show simple item record

dc.contributor.authorHaddad, Serge
dc.contributor.authorPoizat, Pascal
dc.date.accessioned2010-10-25T15:08:00Z
dc.date.available2010-10-25T15:08:00Z
dc.date.issued2007
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/4971
dc.language.isoenen
dc.subjectstate explosion problemen
dc.subjectbehavioural protocolsen
dc.subject.ddc004en
dc.titleTransactional Reduction of Component Compositionsen
dc.typeCommunication / Conférence
dc.description.abstractenBehavioural 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.en
dc.identifier.citationpages341-357en
dc.relation.ispartofseriestitleLecture Notes in Computer Science
dc.relation.ispartofseriesnumber4574
dc.relation.ispartoftitleFormal Techniques for Networked and Distributed Systems - FORTE 2007. 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings.en
dc.relation.ispartofeditorDerrick, John
dc.relation.ispartofeditorVain, Jüri
dc.relation.ispartofpublnameSpringeren
dc.relation.ispartofpublcityBerlinen
dc.relation.ispartofdate2007
dc.relation.ispartofpages375en
dc.relation.ispartofurlhttp://dx.doi.org/10.1007/978-3-540-73196-2en
dc.description.sponsorshipprivateouien
dc.subject.ddclabelInformatique généraleen
dc.relation.ispartofisbn978-3-540-73195-5en
dc.relation.conftitle27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems, FORTE 2007en
dc.relation.confdate2007-06
dc.relation.confcityTallinnen
dc.relation.confcountryEstonieen
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-540-73196-2_22


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record