Handbook of theoretical computer science (vol. B)
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
SAINT '03 Proceedings of the 2003 Symposium on Applications and the Internet
Business artifacts: An approach to operational specification
IBM Systems Journal
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Static Analysis of Business Artifact-centric Operational Models
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Modeling, analysis, and composition of business processes
Modeling, analysis, and composition of business processes
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
A framework for document-driven workflow systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
A process view framework for artifact-centric business processes
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Procedural security analysis: A methodological approach
Journal of Systems and Software
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
BPM'11 Proceedings of the 9th international conference on Business process management
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
A framework for realizing artifact-centric business processes in service-oriented architecture
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Specification and monitoring of data-centric temporal properties for service-based systems
Journal of Systems and Software
Recognizing Valid Artifacts in Business Processes
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
Enabling the analysis of cross-cutting aspects in ad-hoc processes
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Decidability of model checking non-uniform artifact-centric quantified interpreted systems
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |
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, we develop a specification language ABSL based on computation tree logic for artifact life cycle behaviors (e.g., reachability). We 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. We also show that if the starting configuration is not given, ABSL(-core) is still decidable if the number of artifacts is bounded with bounded (resp. unbounded but ordered) domains.