Conformance checking of services using the best matching private view

R. Müller, W.M.P. Aalst, van der, C. Stahl

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)

Abstract

We investigate whether a running implementation of a service conforms to its formal specification in a setting, where only recorded behavior of that implementation is given. Existing conformance checking techniques can be used to measure the degree of conformance of the recorded behavior and its public view but may produce "false negatives", because a correct implementation (i.e., private view) may deviate significantly from its specification. Many of such deviations are quite harmless. The private view may, for example, reorder some activities without introducing any problems, yet traditional conformance checking would penalize such changes unjustifiably. To overcome this problem, we present a novel approach that determines a best matching private view. We show that among the infinitely many private views, there is a canonical best matching private view. While the represented theory is general and can be applied to arbitrary service models, the implementation is currently limited to acyclic service models.
Original languageEnglish
Title of host publicationWeb Services and Formal Methods (9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers)
EditorsM.H. Beek, ter, N. Lohmann
Place of PublicationBerlin
PublisherSpringer
Pages49-68
ISBN (Print)978-3-642-38229-1
DOIs
Publication statusPublished - 2013
Eventconference; 9th International Wokshop on Web Services and Formal Methods; 2012-09-06; 2012-09-07 -
Duration: 6 Sept 20127 Sept 2012

Publication series

NameLecture Notes in Computer Science
Volume7843
ISSN (Print)0302-9743

Conference

Conferenceconference; 9th International Wokshop on Web Services and Formal Methods; 2012-09-06; 2012-09-07
Period6/09/127/09/12
Other9th International Wokshop on Web Services and Formal Methods

Fingerprint

Dive into the research topics of 'Conformance checking of services using the best matching private view'. Together they form a unique fingerprint.

Cite this