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.
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:
Citation counts are sourced monthly from and 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 theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||Conference Paper|
|Additional Information:||Book Subtitle:
31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
|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|
Repository Staff Only: item control page