Academic
Publications
Formalizing Web Service Choreographies

Formalizing Web Service Choreographies,10.1016/j.entcs.2004.05.007,Electronic Notes in Theoretical Computer Science,Antonio Brogi,Carlos Canal,Ernesto

Formalizing Web Service Choreographies   (Citations: 103)
BibTex | RIS | RefWorks Download
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message ∞ows in Web ser- vice collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the com- patibility of Web services based on the proposed notations. In this paper we present the formalization of one of these Web service choreography proposals (WSCI), and discuss the beneflts that can be obtained by such formalization. In particular, we show how to check whether two or more Web services are compatible to interoperate or not, and, if not, whether the speciflcation of adaptors that mediate between them can be automatically generated |hence enabling the communication of (a priori) incompatible Web services.
Journal: Electronic Notes in Theoretical Computer Science - ENTCS , vol. 105, pp. 73-94, 2004
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Different formalisms are used, including finite-state machine (FSM) [8], [10], [11], process algebra/pi calculus [12], [13], and Petri nets (PNs) [14]–[17]...
    • ...Analyzing behavioral similarity, also known as substitutability or replaceability [12], [23], [24], is thus of great importance to Web services substitution and goes along with the general idea of behavioral compatibility between the substituting Web service and the partners of the substituted Web service...
    • ...However, neither trace equivalence nor simulation is exactly suitable for Web services, because the notion based on execution traces is too broad while the notion based on simulation is too narrow [12], [25]...
    • ...In [12], the notion of replaceability of Web services is proposed by using behavior subtyping...
    • ...However, neither the formal condition of substitutability (i.e., replaceability) nor an algorithm for verifying substitutability is presented in [12] and [24]...
    • ...From the perspective of facilitating Web services substitution, the behavioral similarity analysis of Web services is closely dependent on compatibility analysis—they are the two flip sides of the substitution coin [12], [27]...
    • ...The concept of opposite Web services is useful for analyzing the compatibility of Web services [12], [27]...
    • ...This paper has provided a good number of specification languages for formally describing Web services behaviors, such as FSM [8], [10], [11], process algebra/pi calculus [12], [13], and PNs [14]–[17]...

    Xitong Liet al. A Petri Net Approach to Analyzing Behavioral Compatibility and Similar...

    • ...There has been a lot of formal methods on modeling Web service composition such as Petri-net[10,11], Finite State Machine(FSM) [12-14], and CCS[15,16]...
    • ...Many Web service composition models [10-18] in...
    • ...In [15, 16] the authors establish a formal model for Web service composition specification WSCI by the Process algebra language CCS...

    Fangfang Liuet al. Description of Web service composition model based on Z notation

    • ...solutions have already been proposed in literatures, such as Petri-Net [3,4,5], Activity Diagram[6],Automata [7,8,9] and Process Algebra [10,11]...

    Honghao Gaoet al. Research on Web Service Composition Using Probabilistic Abstraction Re...

    • ...One of the interesting features in WS-CDL is passing channel [1,5,14,21], whichmeansthatthechannelcanbepassedininteractionsfor dynamic service composition...

    Zheng Wanget al. Web services choreography validation

    • ...Brogi et al. formalized Web Service Choreography Interface (WSCI) using a process algebra approach (CCS), and discussed the benefits of such formalization [2]...

    Nduwimfura Philbertet al. Reasoning on Formalizing WS-CDL Mobility Using Process Algebra

Sort by: