Formal Methods for Service Composition

  title={Formal Methods for Service Composition},
  author={Maurice H. ter Beek and Antonio Bucchiarone and Stefania Gnesi},
Current approaches to service composition range from industrial standards (like BPEL and OWL-S) to formal methods (like Petri nets and process algebras). In this paper, we survey a number of such approaches and compare them with respect to a carefully selected set of characteristics (like exception handling and quality of services). We conclude that formal methods, often including tool support, are ideal to assist designers and developers because their use leads to increased confidence in the… CONTINUE READING
Highly Cited
This paper has 85 citations. REVIEW CITATIONS
52 Citations
70 References
Similar Papers


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

86 Citations

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

See our FAQ for additional information.


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

OWL Web Ontology Language Overview

  • D. L. McGuinness, F. van Harmelen
  • 2005
Highly Influential
15 Excerpts

A timed service - oriented calculus , ” in

  • R. Pugliese Lapadula, F. Tiezzi
  • Proc . ICTAC ’ 07 , ser . LNCS
  • 2007

Similar Papers

Loading similar papers…