For the most recent entries see the Petri Nets Newsletter.

Analyzing Web Service Based Business Processes.

Martens, Axel

In: Maura Cerioli (Ed.): Lecture Notes in Computer Science, Vol. 3442: Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, pages 19-33. Springer-Verlag, 2005.

Abstract: This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questions: Do two Web services fit together in a way such that the composed system is deadlock-free? - the question of compatibility. Can one Web service be replaced by another while the remaining components stay untouched? - the question of equivalence. Can we reason about the soundness of one given Web service without considering the actual environment it will by used in? This paper defines the notion of usability - an intuitive and locally provable soundness criterion for a given Web services. Based on this notion, this paper demonstrates how the other questions could be answered. The presented method is based on Petri nets, because this formalism is widely used for modeling and analyzing business processes. Due to the existing Petri net semantics for BPEL4WS - a language that is in the very act of becoming the industrial standard for Web service based business processes - the results are directly applicable to real world examples.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography