Conformance checking of service behavior

van der Aalst, Wil , Dumas, Marlon, Ouyang, Chun, Rozinat, Anne, & Verbeek, Eric (2008) Conformance checking of service behavior. ACM Transactions on Internet Technology, 8(3), pp. 1-30.

View at publisher


A service-oriented system is composed of independent software units, namely services, that interact with one another exclusively through message exchanges. The proper functioning of such system depends on whether or not each individual service behaves as the other services expect it to behave. Since services may be developed and operated independently, it is unrealistic to assume that this is always the case. This article addresses the problem of checking and quantifying how much the actual behavior of a service, as recorded in message logs, conforms to the expected behavior as specified in a process model.We consider the case where the expected behavior is defined using the BPEL industry standard (Business Process Execution Language for Web Services). BPEL process definitions are translated into Petri nets and Petri net-based conformance checking techniques are applied to derive two complementary indicators of conformance: fitness and appropriateness. The approach has been implemented in a toolset for business process analysis and mining, namely ProM, and has been tested in an environment comprising multiple Oracle BPEL servers.

Impact and interest:

93 citations in Scopus
32 citations in Web of Science®
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

ID Code: 48911
Item Type: Journal Article
Refereed: Yes
Keywords: Web services , conformance, BPEL, Petri nets, ProM
DOI: 10.1145/1361186.1361189
ISSN: 15335399
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > ARTIFICIAL INTELLIGENCE AND IMAGE PROCESSING (080100)
Divisions: Current > Schools > School of Information Systems
Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 29 Feb 2012 03:49
Last Modified: 29 Feb 2012 10:46

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page