Catalogo dei prodotti della ricerca
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishArtifact 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 |
http://hdl.handle.net/11573/439037
Copyright © 2022