Decidability of model checking non-uniform artifact-centric quantified interpreted systems

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2013, Pages 725-731

  Belardinelli, Francesco ^a   Lomuscio, Alessio ^b  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; ARTIFACT-CENTRIC; FINITE ABSTRACTION; FIRST-ORDER; INTERPRETED SYSTEMS; NON-UNIFORM; PARTIAL MODEL CHECKING; SERVICE ORIENTED COMPUTING;

ABSTRACTING; ARTIFICIAL INTELLIGENCE; MODEL CHECKING; SEMANTICS;

COMPUTABILITY AND DECIDABILITY;

EID: 84896062127     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, and Claudio Schifanella. Flexible choreography-driven service selection. Intelligenza Artificiale, 6(1):97-115, 2012.
3. Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi. Verification of Deployed Artifact Systems via Data Abstraction. In Proc. of the 9th International Conference on Service-Oriented Computing (ICSOC'11), pages 142-156, 2011.
4. Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi. An Abstraction Technique for the Verification of Artifact-Centric Systems. In Proc. of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), pages 319-328, 2012.
5. Francesco Belardinelli, Alessio Lomuscio, and Fabio Patrizi. Verification of GSM-based artifact-centric systems through finite abstraction. In Proc. of the 10th International Conference on Service-Oriented Computing (ICSOC'12), pages 17-31, 2012.
6. T. Brauner and S. Ghilardi. First-order modal logic. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, pages 549-620. Elsevier, 2007.
7. G. Corsi. Counterparts and possible worlds. A study on quantified modal logic, volume 21. CLUEB, Bologna, 2001.
8. Enrico Denti and Andrea Omicini. An architecture for tuple-based coordination of multi-agent systems. Softw., Pract. Exper., 29(12):1103-1121, 1999.
9. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic Verification of Data-Centric Business Processes. In Proc. of ICDT, 2009.
10. Cagdas E. Gerede and Jianwen Su. Specification and Verification of Artifact Behaviors in Business Process Models. In Proc. of the 5th International Conference on Service-Oriented Computing (ICSOC'07), pages 181-192, 2007.
11. Pavel Gonzalez, Andreas Griesmayer, and Alessio Lomuscio. Verifying GSM-Based Business Artifacts. In Proc. of the 19th IEEE International Conference on Web Services (ICWS'12), pages 25-32, 2012.
12. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali. Verification of Relational Data-Centric Dynamic Systems with External Services. CoRR, abs/1203.0024, 2012.
13. Fenno Terry Heath, Rick Hull, and Roman Vaculín. Barcelona: A Design and Runtime Environment for Modeling and Execution of Artifact-centric Business Processes (demo). In Proc. of the 9th International Conference on Business Process Management Demo Track (BPM'11), 2011.
14. Richard Hull, Elio Damaggio, Riccardo De Masellis, Fabiana Fournier, Manmohan Gupta, Fenno Terry Heath, III, Stacy Hobson, Mark Linehan, Sridhar Maradugu, Anil Nigam, Piwadee Noi Sukaviriya, and Roman Vaculin. Business artifacts with guard-stagemilestone lifecycles: managing artifact interactions with conditions and events. In Proceedings of the 5th ACM international conference on Distributed event-based system, DEBS '11, pages 51-62, New York, NY, USA, 2011. ACM.
15. R. Hull. Artifact-centric business process models: Brief survey of research results and challenges. In R. Meersman and Z. Tari, editors, OTM Conferences (2), volume 5332 of Lecture Notes in Computer Science, pages 1152-1163. Springer, 2008.
16. Alessio Lomuscio, Wojciech Penczek, Monika Solanki, and Maciej Szreter. Runtime monitoring of contract regulated web services. Fundam. Inform., 111(3):339-355, 2011.
17. Alessio Lomuscio, Hongyang Qu, and Monika Solanki. Towards Verifying Contract Regulated Service Composition. Autonomous Agents and Multi-Agent Systems, 24(3):345-373, 2012.
18. Sanjay Modgil, Noura Faci, Felipe Rech Meneguzzi, Nir Oren, Simon Miles, and Michael Luck. A framework for monitoring agent-based normative systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, and Jaime Simão Sichman, editors, AAMAS (1), pages 153-160. IFAAMAS, 2009.
19. Andrea Omicini, Alessandro Ricci, and Mirko Viroli. Artifacts in the a&a meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems, 17(3):432-456, 2008.
20. Christos H. Papadimitriou. Computational complexity. Addison-Wesley, 1994.
21. Munindar P. Singh and Michael N. Huhns. Service-Oriented Computing: Semantics, Processes, Agents. Wiley, 2005.
22. Michael Winikoff. Future directions for agent-based software engineering. International Journal of Agent-Oriented Software Engineering, 3(4):402-410, 2009.