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

Efficient consistency measurement based on behavioral profiles of process models

  • Engineering of process-driven business applications can be supported by process modeling efforts in order to bridge the gap between business requirements and system specifications. However, diverging purposes of business process modeling initiatives have led to significant problems in aligning related models at different abstract levels and different perspectives. Checking the consistency of such corresponding models is a major challenge for process modeling theory and practice. In this paper, we take the inappropriateness of existing strict notions of behavioral equivalence as a starting point. Our contribution is a concept called behavioral profile that captures the essential behavioral constraints of a process model. We show that these profiles can be computed efficiently, i.e., in cubic time for sound free-choice Petri nets w.r.t. their number of places and transitions. We use behavioral profiles for the definition of a formal notion of consistency which is less sensitive to model projections than common criteria of behavioralEngineering of process-driven business applications can be supported by process modeling efforts in order to bridge the gap between business requirements and system specifications. However, diverging purposes of business process modeling initiatives have led to significant problems in aligning related models at different abstract levels and different perspectives. Checking the consistency of such corresponding models is a major challenge for process modeling theory and practice. In this paper, we take the inappropriateness of existing strict notions of behavioral equivalence as a starting point. Our contribution is a concept called behavioral profile that captures the essential behavioral constraints of a process model. We show that these profiles can be computed efficiently, i.e., in cubic time for sound free-choice Petri nets w.r.t. their number of places and transitions. We use behavioral profiles for the definition of a formal notion of consistency which is less sensitive to model projections than common criteria of behavioral equivalence and allows for quantifying deviation in a metric way. The derivation of behavioral profiles and the calculation of a degree of consistency have been implemented to demonstrate the applicability of our approach. We also report the findings from checking consistency between partially overlapping models of the SAP reference model.show moreshow less

Export metadata

Additional Services

Search Google Scholar Statistics
Metadaten
Author details:Matthias Weidlich, Jan Mendling, Mathias WeskeORCiDGND
DOI:https://doi.org/10.1109/TSE.2010.96
ISSN:0098-5589
Title of parent work (English):IEEE transactions on software engineering
Publisher:Inst. of Electr. and Electronics Engineers
Place of publishing:Los Alamitos
Publication type:Article
Language:English
Year of first publication:2011
Publication year:2011
Release date:2017/03/26
Tag:Process model analysis; behavioral abstraction; consistency checking; consistency measures; process model alignment
Volume:37
Issue:3
Number of pages:20
First page:410
Last Page:429
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Peer review:Referiert
Institution name at the time of the publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik
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.