A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Weak Conformance between Process Models and Synchronized Object Life Cycles
[chapter]
2014
Lecture Notes in Computer Science
Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is
doi:10.1007/978-3-662-45391-9_25
fatcat:2alxkwymknhargte3t4ioi2try