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

Authors:
Francesco Belardinelli;Alessio Lomuscio;Fabio Patrizi
Affiliations:
Department of Computing, Imperial College London;Department of Computing, Imperial College London;Department of Computing, Imperial College London
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Year:
2011

Citing 10
Cited 4

Symbolic model checking: 1020 states and beyond

Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
Model checking and abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Reasoning about knowledge

Reasoning about knowledge
Expressing interesting properties of programs in propositional temporal logic

POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computationally Grounded Theories of Agency

ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Automatic composition of transition-based semantic web services with messaging

VLDB '05 Proceedings of the 31st international conference on Very large data bases
Automatic verification of data-centric business processes

Proceedings of the 12th International Conference on Database Theory
Quantified epistemic logics for reasoning about knowledge in multi-agent systems

Artificial Intelligence
Abstraction in model checking multi-agent systems

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Web Services: Concepts, Architectures and Applications

Web Services: Concepts, Architectures and Applications

On the convergence of data and process engineering

ADBIS'11 Proceedings of the 15th international conference on Advances in databases and information systems
Verification of deployed artifact systems via data abstraction

ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Verification of GSM-Based artifact-centric systems through finite abstraction

ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results

Journal of Artificial Intelligence Research

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a formal investigation of artifact-based systems, a relatively novel framework in service oriented computing, aimed at laying the foundations for verifying these systems through model checking. We present an infinite-state, computationally grounded semantics for these systems that allows us to reason about temporal-epistemic specifications. We present abstraction techniques for the semantics that guarantee transfer of satisfaction from the abstract system to the concrete one.