In: Robert Meersman, Zahir Tari, Angelo Corsaro (Eds.): Lecture Notes in Computer Science, Vol. 3292: On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, GADA, JTRES, MIOS, WORM, WOSE, PhDS, and INTEROP 2004, Agia Napa, Cyprus, October 25-29, 2004, pages 810-821. Springer-Verlag, 2004.
Abstract: The evolution of the internet from an information provider to a service provider drives the need for more and better verification and validation mechanisms, especially in a Web services context, where services will be integrated and linked at runtime. The use of a formal semantics, like Petri Nets, enables us to create automatic verification procedures. In this paper, we discuss two types of conformance verification. First of all, we look at the conformance of a business process with the domain model of the information systems that are used to support business process activities. Secondly, we look at the similar problem of compatibility between two Web services. For these two problems algorithms will be created based on the Petri Net language theory.
Back to the Petri Nets Bibliography