Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes
2010
Montali2010:Verification
We discuss the static verification of declarative Business Processes. We identify four desiderata about verifiers, and propose a concrete framework which satisfies them. The framework is based on the ConDec graphical notation for modeling Business Processes, and on Abductive Logic Programming technology for verification of properties. Empirical evidence shows that our verification method seems to perform and scale better, in most cases, than other state of the art techniques (model checkers, in particular). A detailed study of our framework's theoretical properties proves that our approach is sound and complete when applied to ConDec models that do not contain loops, and it is guaranteed to terminate when applied to models that contain loops.
Journal
Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Evelina Lamma, Paola Mello
Fundamenta Informaticae
-
-
102
3-4
325-361
-
0169-2968
IF: 0.693
-
Export formats
Marco Montali and Paolo Torroni and Marco Alberti and Federico Chesani and Evelina Lamma and Paola Mello, Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes, Fundamenta Informaticae, Vol. 102, No. 3-4, Pag. 325-361, ISSN 0169-2968, <i>IF: 0.693</i>, 2010.
<b>Marco Montali, Paolo Torroni, <a href="/people/members/view.php?code=bde07d722513741a0fa20a19209bc4a1" class="author">Marco Alberti</a>, Federico Chesani, Evelina Lamma and Paola Mello</b>, <u>Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes</u>, Fundamenta Informaticae, Vol. 102, No. 3-4, Pag. 325-361, ISSN 0169-2968, <i>IF: 0.693</i>, 2010.
@article {Montali2010:Verification, author = {Marco Montali and Paolo Torroni and Marco Alberti and Federico Chesani and Evelina Lamma and Paola Mello}, title = {Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes}, journal = {Fundamenta Informaticae}, volume = {102}, number = {3-4}, pages = {325-361}, issn = {0169-2968}, note = {IF: 0.693}, abstract = {We discuss the static verification of declarative Business Processes. We identify four desiderata about verifiers, and propose a concrete framework which satisfies them. The framework is based on the ConDec graphical notation for modeling Business Processes, and on Abductive Logic Programming technology for verification of properties. Empirical evidence shows that our verification method seems to perform and scale better, in most cases, than other state of the art techniques (model checkers, in particular). A detailed study of our framework's theoretical properties proves that our approach is sound and complete when applied to ConDec models that do not contain loops, and it is guaranteed to terminate when applied to models that contain loops.}, year = {2010}, }
Publication's urls
/publications/view.php?code=3629aee83e288cacb95701009ff87373
/publications/view.php?code=Montali2010:Verification
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT