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.
A computationally-grounded semantics for artifact-centric systems and abstraction results / Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio. - STAMPA. - (2011), pp. 738-743. (Intervento presentato al convegno 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) tenutosi a Barcelona; Spain) [10.5591/978-1-57735-516-8/IJCAI11-130].
A computationally-grounded semantics for artifact-centric systems and abstraction results
PATRIZI, FABIO
2011
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
VE_2011_11573-438807.pdf
solo gestori archivio
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
680.26 kB
Formato
Adobe PDF
|
680.26 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
