Formalizing Web Service Choreographies

  title={Formalizing Web Service Choreographies},
  author={Antonio Brogi and Carlos Canal and Ernesto Pimentel and Antonio Vallecillo},
  journal={Electr. Notes Theor. Comput. Sci.},
Current Web service choreography proposals, such as BPEL4WS, BPSS, WSFL, WSCDL or WSCI, provide notations for describing the message flows in Web service collaborations. However, such proposals remain at the descriptive level, without providing any kind of reasoning mechanisms or tool support for checking the compatibility 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… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 254 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 155 extracted citations

Formalizing Web Service Choreography Interface

21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07) • 2007
View 4 Excerpts
Highly Influenced

A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans • 2011
View 8 Excerpts
Highly Influenced

Correcting Interaction Mismatches for Business Processes

2010 IEEE International Conference on Services Computing • 2010
View 6 Excerpts
Highly Influenced

Verifying WS-CDL-Based Web Services Collaboration by Model Checking

2009 Congress on Services - I • 2009
View 5 Excerpts
Highly Influenced

Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations

Computer Supported Acitivity Coordination • 2006
View 4 Excerpts
Highly Influenced

Formal analysis of compatibility of Web services via CCS

International Conference on Next Generation Web Services Practices (NWeSP'05) • 2005
View 4 Excerpts
Highly Influenced

What do we do with re-use in MDA ?

Dpto. de Lenguajes
View 4 Excerpts
Highly Influenced

254 Citations

Citations per Year
Semantic Scholar estimates that this publication has 254 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 12 references

Communication and concurrency

PHI Series in computer science • 1989
View 5 Excerpts
Highly Influenced

A formal approach to component adaptation

Journal of Systems and Software • 2005
View 4 Excerpts

Model-Checking Verification for Reliable Web Service

View 2 Excerpts

Web Service Choreography Interface (WSCI) 1.0

World Wide Web Consortium (2002), available at • 2002
View 2 Excerpts

Web Service Description Language (WSDL) 1.1

World Wide Web Consortium (2001), available at • 2001
View 1 Excerpt

Similar Papers

Loading similar papers…