TY - GEN
T1 - Conformance checking of services using the best matching private view
AU - Müller, R.
AU - Aalst, van der, W.M.P.
AU - Stahl, C.
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-38230-7_4
DO - 10.1007/978-3-642-38230-7_4
M3 - Conference contribution
SN - 978-3-642-38229-1
T3 - Lecture Notes in Computer Science
SP - 49
EP - 68
BT - Web Services and Formal Methods (9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers)
A2 - Beek, ter, M.H.
A2 - Lohmann, N.
PB - Springer
CY - Berlin
T2 - conference; 9th International Wokshop on Web Services and Formal Methods; 2012-09-06; 2012-09-07
Y2 - 6 September 2012 through 7 September 2012
ER -