The Experts below are selected from a list of 372 Experts worldwide ranked by ideXlab platform
Gianluigi Zavattaro - One of the best experts on this subject based on the ideXlab platform.
-
contract compliance and choreography conformance in the presence of message queues
Web Services and Formal Methods, 2009Co-Authors: Mario Bravetti, Gianluigi ZavattaroAbstract:Choreography conformance and contract compliance have been widely studied in the context of synchronous communication. In this paper we approach a more realistic scenario in which the messages containing the invocations are queued in the called service. More precisely, we study the foundational aspects of contract compliance in a language independent way by just taking contracts to be finite labeled transition systems. Then, we relate the proposed theory of contract compliance with choreography specifications a la WS-CDL where activities are interpreted as pairs of send and receive events. An interesting consequence of adopting a language independent representation of contracts is that choreography projection can be defined in structured operational semantics.
-
bridging the gap between interaction and process oriented choreographies
Software Engineering and Formal Methods, 2008Co-Authors: Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi ZavattaroAbstract:In service oriented computing, choreography languages are used to specify multi-party service compositions. Two main approaches have been followed: the interaction-oriented approach of WS-CDL and the process-oriented approach of BPEL4Chor. We investigate the relationship between them. In particular, we consider several interpretations for interaction-oriented choreographies spanning from synchronous to asynchronous communication. Under each of these interpretations we characterize the class of interaction-oriented choreographies which have a process-oriented counterpart, and we formalize the notion of equivalence between the initial interaction-oriented choreography and the corresponding process-oriented one.
-
towards a unifying theory for choreography conformance and contract compliance
SC'07 Proceedings of the 6th international conference on Software composition, 2007Co-Authors: Mario Bravetti, Gianluigi ZavattaroAbstract:In the context of Service Oriented Computing, contracts are descriptions of the externally observable behaviour of services. Given a group of collaborating services, their contracts can be used to verify whether their composition is sound, i.e., the services are compliant. In this paper, we relate the theory of contracts with the notion of choreography conformance, used to check whether an aggregation of services correctly behaves according to a high level specification of their possible conversations. The main result of this paper is the definition of an effective procedure that can be used to verify whether a service with a given contract can correctly play a specific role within a choreography. This procedure is achieved via composition of choreography projection and contract refinement.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
Nadia Busi - One of the best experts on this subject based on the ideXlab platform.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
towards a formal framework for choreography
Workshops on Enabling Technologies: Infrastracture for Collaborative Enterprises, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:One of the main challenges in the area of service oriented computing, in general, and of Web services technology, in particular, is the definition of languages and models for the description of choreographies. A choreography defines the collaborations between interacting services: more precisely, it specifies a contract containing a "global" definition of the common ordering conditions and constraints under which messages are exchanged in a services conversation. In this paper, starting from the analysis of the main aspects of Web services technology, we propose a simple choreography language, equipped with a formal semantics, which is intended as the starting point for the development of a framework for the design and analysis of choreographies in service oriented computing.
-
choreography and orchestration a synergic approach for system design
Lecture Notes in Computer Science, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-CDL about choreography and WS-BPEL about orchestration. A closer look to such a kind of languages highlights two distinct approaches for system representation and management. Choreography describes the system in a top view manner whereas orchestration focuses on single peers description. In this paper we define a notion of conformance between choreography and orchestration which allows to state when an orchestrated system is conformant to a given choreography. Choreography and orchestration are formalized by using two process algebras and conformance takes the form of a bisimulation-like relation.
Claudio Guidi - One of the best experts on this subject based on the ideXlab platform.
-
bridging the gap between interaction and process oriented choreographies
Software Engineering and Formal Methods, 2008Co-Authors: Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi ZavattaroAbstract:In service oriented computing, choreography languages are used to specify multi-party service compositions. Two main approaches have been followed: the interaction-oriented approach of WS-CDL and the process-oriented approach of BPEL4Chor. We investigate the relationship between them. In particular, we consider several interpretations for interaction-oriented choreographies spanning from synchronous to asynchronous communication. Under each of these interpretations we characterize the class of interaction-oriented choreographies which have a process-oriented counterpart, and we formalize the notion of equivalence between the initial interaction-oriented choreography and the corresponding process-oriented one.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
towards a formal framework for choreography
Workshops on Enabling Technologies: Infrastracture for Collaborative Enterprises, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:One of the main challenges in the area of service oriented computing, in general, and of Web services technology, in particular, is the definition of languages and models for the description of choreographies. A choreography defines the collaborations between interacting services: more precisely, it specifies a contract containing a "global" definition of the common ordering conditions and constraints under which messages are exchanged in a services conversation. In this paper, starting from the analysis of the main aspects of Web services technology, we propose a simple choreography language, equipped with a formal semantics, which is intended as the starting point for the development of a framework for the design and analysis of choreographies in service oriented computing.
-
choreography and orchestration a synergic approach for system design
Lecture Notes in Computer Science, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-CDL about choreography and WS-BPEL about orchestration. A closer look to such a kind of languages highlights two distinct approaches for system representation and management. Choreography describes the system in a top view manner whereas orchestration focuses on single peers description. In this paper we define a notion of conformance between choreography and orchestration which allows to state when an orchestrated system is conformant to a given choreography. Choreography and orchestration are formalized by using two process algebras and conformance takes the form of a bisimulation-like relation.
Roberto Gorrieri - One of the best experts on this subject based on the ideXlab platform.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
towards a formal framework for choreography
Workshops on Enabling Technologies: Infrastracture for Collaborative Enterprises, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:One of the main challenges in the area of service oriented computing, in general, and of Web services technology, in particular, is the definition of languages and models for the description of choreographies. A choreography defines the collaborations between interacting services: more precisely, it specifies a contract containing a "global" definition of the common ordering conditions and constraints under which messages are exchanged in a services conversation. In this paper, starting from the analysis of the main aspects of Web services technology, we propose a simple choreography language, equipped with a formal semantics, which is intended as the starting point for the development of a framework for the design and analysis of choreographies in service oriented computing.
-
choreography and orchestration a synergic approach for system design
Lecture Notes in Computer Science, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-CDL about choreography and WS-BPEL about orchestration. A closer look to such a kind of languages highlights two distinct approaches for system representation and management. Choreography describes the system in a top view manner whereas orchestration focuses on single peers description. In this paper we define a notion of conformance between choreography and orchestration which allows to state when an orchestrated system is conformant to a given choreography. Choreography and orchestration are formalized by using two process algebras and conformance takes the form of a bisimulation-like relation.
Roberto Lucchi - One of the best experts on this subject based on the ideXlab platform.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
choreography and orchestration conformance for system design
Lecture Notes in Computer Science, 2006Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if useful to start a formal investigation of the relationship between choreography and orchestration, the proposed framework was not suitable to specify real case studies. In fact, it simply permitted to specify all possible computations abstracting away from the conditions driving the choice of the actual behaviour. In this paper we tackle this problem by introducing the notion of state variables. The addition of state requires a substantial modification of the entire framework because the same state variable, at the level of choreography, can be actually stored in distributed orchestrators that will need to synchronize in order to maintain consistent views. In order to faithfully investigate this problem we also need to modify the formal model at the orchestration level, moving from synchronous to asynchronous communication as the latter is the communication modality of the ordinary communication infrastructures.
-
towards a formal framework for choreography
Workshops on Enabling Technologies: Infrastracture for Collaborative Enterprises, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:One of the main challenges in the area of service oriented computing, in general, and of Web services technology, in particular, is the definition of languages and models for the description of choreographies. A choreography defines the collaborations between interacting services: more precisely, it specifies a contract containing a "global" definition of the common ordering conditions and constraints under which messages are exchanged in a services conversation. In this paper, starting from the analysis of the main aspects of Web services technology, we propose a simple choreography language, equipped with a formal semantics, which is intended as the starting point for the development of a framework for the design and analysis of choreographies in service oriented computing.
-
choreography and orchestration a synergic approach for system design
Lecture Notes in Computer Science, 2005Co-Authors: Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi ZavattaroAbstract:Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-CDL about choreography and WS-BPEL about orchestration. A closer look to such a kind of languages highlights two distinct approaches for system representation and management. Choreography describes the system in a top view manner whereas orchestration focuses on single peers description. In this paper we define a notion of conformance between choreography and orchestration which allows to state when an orchestrated system is conformant to a given choreography. Choreography and orchestration are formalized by using two process algebras and conformance takes the form of a bisimulation-like relation.