Conversation specification: a new approach to design and analysis of e-service composition

@inproceedings{Bultan2003ConversationSA,
  title={Conversation specification: a new approach to design and analysis of e-service composition},
  author={Tevfik Bultan and Xiang Fu and Richard Hull and Jianwen Su},
  booktitle={WWW},
  year={2003}
}
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate through asynchronous messages and each peer maintains a queue for incoming messages. A global "watcher" keeps track of messages as they occur. We propose and study a central notion of a "conversation", which is a sequence of (classes of) messages observed by the watcher. We consider the case where the peers are represented… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 308 CITATIONS

Towards a Theory of Web Service Choreographies

VIEW 10 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Fast Composition Planning of OWL-S Services and Application

  • 2006 European Conference on Web Services (ECOWS'06)
  • 2006
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Modeling Web service composition using symbolic transition systems

VIEW 4 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

A Formal Specification for Web Services Composition and Verification

  • The Fifth International Conference on Computer and Information Technology (CIT'05)
  • 2005
VIEW 7 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Tools for composite web services: a short overview

  • SIGMOD Record
  • 2005
VIEW 9 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Analysis of interacting BPEL web services

VIEW 7 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Conversation protocols: a formalism for specification and verification of reactive electronic services

  • Theor. Comput. Sci.
  • 2004
VIEW 7 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1962
2019

CITATION STATISTICS

  • 28 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES