On the move to meaningful internet systems 2004: otm 2004 workshops, proceedings vol:3292 pages:810-821
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.