A computationally-grounded semantics for artifact-centric systems and abstraction results

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2011, Pages 738-743

  Belardinelli, Francesco ^a   Lomuscio, Alessio ^a   Patrizi, Fabio ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT SYSTEMS; ABSTRACTION TECHNIQUES; ARTIFACT-CENTRIC; INFINITE-STATE; SERVICE ORIENTED COMPUTING;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; MODEL CHECKING;

SEMANTICS;

EID: 84875157508     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.5591/978-1-57735-516-8/IJCAI11-130     Document Type: Conference Paper

References (12)

1. G. Alonso, F. Casati, H. A. Kuno, and V. Machiraju. Web Services - Concepts, Architectures and Applications. Data-Centric Systems and Applications. Springer, 2004.
2. F. Belardinelli and A. Lomuscio. Quantified Epistemic Logics for Reasoning About Knowledge in Multi-Agent Systems. Artificial Intelligence, 173(9-10):982-1013, 2009.
3. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. In VLDB, pages 613-624, 2005.
4. 20States and Beyond. Information and Computation, 98(2):142-170, 1992.
5. P. Cangialosi, G. De Giacomo, R. De Masellis, and R. Rosati. Conjunctive Artifact-Centric Services. In ICSOC, pages 318-333, 2010.
6. E. M. Clarke, O. Grumberg, and D. Long. Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems, 16(5):1512-1542, 1994.
7. M. Cohen, M. Dam, A. Lomuscio, and F. Russo. Abstraction in Model Checking Multi-Agent Systems. In AAMAS (2), pages 945-952, 2009.
8. D. Cohn and R. Hull. Business Artifacts: A Data-Centric Approach to Modeling Business Operations and Processes. IEEE Data Eng. Bull., 32(3):3-9, 2009.
9. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic Verification of Data-centric Business Processes. In ICDT, pages 252-267, 2009.
10. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning About Knowledge. The MIT Press, 1995.
11. P.Wolper. Expressing Interesting Properties of Programs in Propositional Temporal Logic. In POPL, pages 184-193, 1986.
12. M. Wooldridge. Computationally Grounded Theories of Agency. In Proc. of ICMAS, pages 13-22. IEEE Press, 2000.