A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Verification of Deployed Artifact Systems via Data Abstraction
[chapter]
2011
Lecture Notes in Computer Science
Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycle models, accounting for the relational structure of the artifact state and its possible evolutions over time. We consider the problem of verifying artifact systems against specifications expressed in quantified temporal logic. This problem is in general undecidable. However, when artifact systems are deployed,
doi:10.1007/978-3-642-25535-9_10
fatcat:i6q72nqj7bddvidclrcgr53ivu