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

[1]  Evelina Lamma,et al.  An abductive framework for a-priori verification of web services , 2006, PPDP '06.

[2]  Paola Mello,et al.  Modeling and Verification of Business Processes and Choreographies in ALP , 2008, Il Milione.

[3]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[4]  Paola Mello,et al.  Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic , 2007, AIME.

[5]  Pattie Maes,et al.  Kasbah: An Agent Marketplace for Buying and Selling Goods , 1996, PAAM.

[6]  Paola Mello,et al.  Towards a DecSerFlow Declarative Semantics based on Computational Logic , 2007 .

[7]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[8]  Benjamin Cox,et al.  NetBill Security and Transaction Protocol , 1995, USENIX Workshop on Electronic Commerce.

[9]  Evelina Lamma,et al.  Inducing Declarative Logic-Based Models from Labeled Traces , 2007, BPM.

[10]  Boudewijn F. van Dongen,et al.  Multi-phase Process Mining: Building Instance Graphs , 2004, ER.

[11]  Luc De Raedt,et al.  Inductive Constraint Logic , 1995, ALT.

[12]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[13]  Thom W. Frühwirth,et al.  Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..

[14]  Wil M. P. van der Aalst,et al.  DECLARE: Full Support for Loosely-Structured Processes , 2007, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007).

[15]  Evelina Lamma,et al.  Security Protocols Verification in Abductive Logic Programming: A Case Study , 2005, ESAW.

[16]  Evelina Lamma,et al.  Applying Inductive Logic Programming to Process Mining , 2007, ILP.

[17]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[18]  Evelina Lamma,et al.  Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.