Efficient computation of causal behavioural profiles using structural decomposition

Weidlich, Matthias, Polyvyanyy, Artem, Mendling, Jan, & Weske, Mathias (2010) Efficient computation of causal behavioural profiles using structural decomposition. In Lilius, Johan & Penczek, Wojciech (Eds.) Lecture Notes in Computer Science : Applications and Theory of Petri Nets, Springer Berlin Heidelberg, Braga, Portugal, pp. 63-83.

View at publisher

Abstract

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently 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.

Impact and interest:

17 citations in Scopus
Search Google Scholar™
14 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: 70736
Item Type: Conference Paper
Refereed: Yes
Additional Information: Book Subtitle:
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
Additional URLs:
DOI: 10.1007/978-3-642-13675-7_6
ISBN: 9783642136740
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:34
Last Modified: 16 Jul 2014 23:37

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page