An architecture for tuple-based coordination of multi-agent systems
Software—Practice & Experience
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Artifacts in the A&A meta-model for multi-agent systems
Autonomous Agents and Multi-Agent Systems
Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
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
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Future directions for agent-based software engineering
International Journal of Agent-Oriented Software Engineering
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Proceedings of the 5th ACM international conference on Distributed event-based system
Towards verifying contract regulated service composition
Autonomous Agents and Multi-Agent Systems
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Verifying GSM-Based Business Artifacts
ICWS '12 Proceedings of the 2012 IEEE 19th International Conference on Web Services
Runtime Monitoring of Contract Regulated Web Services
Fundamenta Informaticae
Verification of GSM-Based artifact-centric systems through finite abstraction
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hi-index | 0.00 |
Artifact-Centric Systems are a novel paradigm in service-oriented computing. In the present contribution we show that model checking bounded, non-uniform artifact-centric systems is undecidable. We provide a partial model checking procedure for artifact-centric systems against the universal fragment of a first-order version of the logic CTL. We obtain this result by introducing a counterpart semantics and developing an abstraction methodology operating on these structures. This enables us to generate finite abstractions of infinite artifact-centric systems, hence perform verification on abstract models.