Artifact systems are a novel paradigm for specifying and implementing business processes described in terms of interacting modules called artifacts. Artifacts consist of data and lifecycle models, accounting for the relational structure of the artifact state and its possible evolutions over time. We consider the problem of verifying artifact systems against specifications expressed in quantified temporal logic. This problem is in general undecidable. However, when artifact systems are deployed, their states can contain only a bounded number of elements. We exploit this fact to develop an abstraction technique that enables us to verify deployed artifact systems by model checking their bounded abstraction.
Verification of deployed artifact systems via data abstraction / Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio. - STAMPA. - 7084(2011), pp. 142-156. ((Intervento presentato al convegno Ninth International Conference on Service Oriented Computing (ICSOC 2011) [10.1007/978-3-642-25535-9_10].
Scheda prodotto non validato
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo
Titolo: | Verification of deployed artifact systems via data abstraction | |
Autori: | ||
Data di pubblicazione: | 2011 | |
Serie: | ||
Citazione: | Verification of deployed artifact systems via data abstraction / Francesco, Belardinelli; Alessio, Lomuscio; Patrizi, Fabio. - STAMPA. - 7084(2011), pp. 142-156. ((Intervento presentato al convegno Ninth International Conference on Service Oriented Computing (ICSOC 2011) [10.1007/978-3-642-25535-9_10]. | |
Handle: | http://hdl.handle.net/11573/439037 | |
ISBN: | 9783642255342 9783642255359 | |
Appartiene alla tipologia: | 04b Atto di convegno in volume |
File allegati a questo prodotto
File | Note | Tipologia | Licenza | |
---|---|---|---|---|
VE_2011_11573-439037.pdf | Versione editoriale (versione pubblicata con il layout dell'editore) | Tutti i diritti riservati (All rights reserved) | Administrator Richiedi una copia |