Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions

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

Article type: Research Article

Authors: Chesani, Federico | Mello, Paola | Montali, Marco | Torroni, Paolo

Affiliations: DEIS, University of Bologna, Viale Risorgimento 2, Bologna, Italy

Note: [] Corresponding author. DEIS, University of Bologna, Viale Risorgimento 2, 40136 - Bologna, Italy. E-mails: [email protected] (P. Mello); [email protected] (F. Chesani); [email protected] (M. Montali); [email protected] (P. Torroni).

Abstract: In this article we survey our recent research activity concerning the use of logic programming, and in particular of abduction, for interaction specification and verification in several domains. We outline relevant results in the areas of multi-agent systems, argumentation, web services choreographies and business processes.

Keywords: Logic programming, hypothetical reasoning, interaction, modelling, verification, multi-agent systems, protocols, business processes, web services, choreographies, semantic web, argumentation

DOI: 10.3233/IA-2011-0011

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 101-105, 2011