Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties

Day Dedicated to Prof. Alberto Martelli

Marco Alberti ; Marco Gavanelli ; Evelina Lamma ; Fabrizio Riguzzi ; Sergio Storari

PID  :  4368

来源: CEUR

【 摘 要 】

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