Learning specifications of interaction protocols and business processes and proving their properties

Issue title: Evolutionary Computation – A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli

Article type: Research Article

Authors: Alberti, Marco | Gavanelli, Marco | Lamma, Evelina | Riguzzi, Fabrizio | Storari, Sergio

Affiliations: CENTRIA, DI-FCT – Universidade Nova de Lisboa, Quinta da Torre, Caparica, Portugal | ENDIF – University of Ferrara, Via Saragat 1, Ferrara, Italy

Note: [] Corresponding author. CENTRIA, DI-FCT – Universidade Nova de Lisboa, Quinta da Torre, 2829-516, Caparica, Portugal. E-mails: [email protected] (M. Alberti); [email protected] (M. Gavanelli); [email protected] (E. Lamma); [email protected] (F. Riguzzi); [email protected] (S. Storari).

Abstract: In this paper we overview our recent research activity concerning the induction of Logic Programming specifications, and the proof of their properties via Abductive Logic Programming. Both the inductive and abductive tools here briefly described have been applied to respectively learn and verify (properties of) interaction protocols in multi-agent systems, Web service choreographies, careflows and business processes.

Keywords: Computational Logic, induction, abduction, interaction protocols, careflows, business processes

DOI: 10.3233/IA-2011-0006

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 71-75, 2011