The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 3 of 15
Back to Result List

Causal behavioural profiles - efficient computation, applications, and evaluation

  • 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 causalityAnalysis 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.show moreshow less

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, Mathias WeskeORCiDGND
DOI:https://doi.org/10.3233/FI-2011-614
ISSN:0169-2968
Title of parent work (English):Fundamenta informaticae
Publisher:IOS Press
Place of publishing:Amsterdam
Publication type:Article
Language:English
Year of first publication:2011
Publication year:2011
Release date:2017/03/26
Tag:Behavioural Abstraction; Causal Behavioural Profiles; Causality; Concurrency; Exclusiveness; Formal Methods; Optionality; Order Relations; Structural Decomposition
Volume:113
Issue:3-4
Number of pages:37
First page:399
Last Page:435
Organizational units:An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH
Peer review:Referiert
Accept ✔
This website uses technically necessary session cookies. By continuing to use the website, you agree to this. You can find our privacy policy here.