Causal behavioural profiles : efficient computation, applications, and evaluation

Weidlich, Matthias, Polyvyanyy, Artem, Mendling, Jan, & Weske, Mathias (2011) Causal behavioural profiles : efficient computation, applications, and evaluation. Fundamenta Informaticae, 113(3-4), pp. 399-435.

View at publisher

Abstract

Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantification of behavioural deviation is needed along with concepts to isolate the source of deviation. In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.

Impact and interest:

15 citations in Scopus
Search Google Scholar™
6 citations in Web of Science®

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: 70735
Item Type: Journal Article
Refereed: Yes
Additional URLs:
Keywords: Causal Behavioural Profiles, Formal Methods, Behavioural Abstraction, Structural Decomposition, Exclusiveness, Concurrency, Order Relations, Causality, Optionality
DOI: 10.3233/FI-2011-614
ISSN: 0169-2968
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > DISTRIBUTED COMPUTING (080500)
Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600)
Divisions: Current > QUT Faculties and Divisions > Science & Engineering Faculty
Deposited On: 30 Apr 2014 01:31
Last Modified: 12 May 2014 02:24

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page