Title: On the verification of web services compatibility: A Petri net approach
Authors: De Backer, Manu # ×
Issue Date: 2004
Publisher: Springer-verlag berlin
Series Title: On the move to meaningful internet systems 2004: otm 2004 workshops, proceedings vol:3292 pages:810-821
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.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Research Center for Management Informatics (LIRIS), Leuven
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science