Specification and Verification of Artifact Behaviors in Business Process Models

Provided by: University of Calgary
Topic: Big Data
Format: PDF
SOA has influenced business process modeling and management. Recent business process models have elevated data representation to the same level as control flows, for example, the artifact-centric business process models allow the life cycle properties of artifacts (data objects) to be specified and analyzed. In this paper, the authors develop a specification language ABSL based on computation tree logic for artifact life cycle behaviors (e.g., reach-ability). They show that given a business model and starting configuration, it can be decided if an ABSL sentence is satisfied when the domains are bounded, and if an ABSL-core (sublanguage of ABSL) sentence is satisfied when the domains are totally ordered but unbounded.

Find By Topic