On the integration of declarative choreographies and commitment-based agent societies into the SCIFF logic programming framework

Multiagent and Grid Systems

Volumn 6, Issue 2, 2010, Pages 165-190

  Chesani, Federico ^a   Mello, Paola ^a   Montali, Marco ^a   Storari, Sergio ^b   Torroni, Paolo ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

Commitments; DecSerFlow; Event calculus; Multi agent systems; SCIFF framework; Service choreographies

Indexed keywords

COMPUTATION THEORY; COMPUTER CIRCUITS; DISTRIBUTED COMPUTER SYSTEMS; LOGIC PROGRAMMING; OPEN SYSTEMS; SEMANTICS; SPECIFICATION LANGUAGES; SPECIFICATIONS;

DECLARATIVE LANGUAGES; INTEGRATED FRAMEWORKS; OPERATIONAL MODEL; PROCEDURAL ASPECTS; SERVICE CHOREOGRAPHIES; SERVICE ORIENTED COMPUTING; SERVICE ORIENTED SYSTEMS; SPECIFICATION AND VERIFICATION;

MULTI AGENT SYSTEMS;

EID: 85006086183     PISSN: 15741702     EISSN: 18759076     Source Type: Journal    
DOI: 10.3233/MGS-2010-0147     Document Type: Article

References (40)

1. Web services business process execution language version 2.0. OASIS Consortium, http://www.oasis-open.org, April 2007. http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.pdf.
2. M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello and P. Torroni, Verifiable agent interaction in abductive logic programming: the SCIFF framework, ACM Transactions on Computational Logic 9(4), 2008.
3. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, G. Sartor and P. Torroni, Mapping deontic operators to abductive expectations, Computational and Mathematical Organization Theory 12(2-3) (October 2006), 205-225.
4. A. Artikis, J. Pitt and M. Sergot, Animated specifications of computational societies. In AAMAS '02: Proceedings of the first international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, 2002, pages 1053-1061.
5. M. Baldoni, C. Baroglio, A. Martelli, V. Patti and C. Schifanella, Verifying the conformance of web services to global interaction protocols: A first step, in: International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, 1-3 September 2005, Proceedings, M. Bravetti, L. Kloul and G. Zavattaro, eds, volume 3670 of Lecture Notes in Computer Science, Springer Verlag, 2005, pp. 257-271.
6. M. Baldoni, C. Baroglio, A. Martelli, V. Patti and C. Schifanella, Reasoning on choreographies and capability requirements, International Journal of Business Process Integration and Management 2(4) (2007), Inderscience.
7. A. Barros, M. Dumas and P. Oaks, A critical overview of the web services choreography description language (WS-CDL), BPTrends, 2005.
8. B. Bauer, J.P.Müller and J. Odell, Agent uml: a formalism for specifying multiagent software systems. In Proceedings of the First international workshop, AOSE 2000 on Agent-oriented software engineering, Springer Verlag, 2001, pages 91-103.
9. P. Bresciani, P. Giorgini, F. Giunchiglia, J. Mylopoulos and A. Perini, TROPOS: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agents and Multi-Agent Systems, 8(3) (2004), 203-236.
10. V. Bryl, P. Mello, M. Montali, P. Torroni and N. Zannone, B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. In Proceedings of CLIMA-VIII, selected and revised papers, Lecture Notes on Artificial Intelligence. Springer Verlag, 2008. To appear.
11. F. Chesani, P. Mello, M. Montali and S. Storari, Towards a decserflow declarative semantics based on computational logic. Technical Report DEIS-LIA-07-002, DEIS, Bologna, Italy, 2007.
12. L. Chittaro and A. Montanari, Efficient temporal reasoning in the cached event calculus, Computational Intelligence 12 (1996), 359-382.
13. Amit K. Chopra and Munindar P. Singh. Producing compliant interactions: Conformance, coverage, and interoperability, in: DALT, M. Baldoni and U. Endriss, eds, volume 4327 of Lecture Notes in Computer Science, Springer Verlag, 2006, pp. 1-15.
14. N.K. Cicekli and I. Cicekli, Formalizing the specification and execution ofworkflows using the event calculus, Information Sciences 176(15) (2006), 2227-2267.
15. G. Decker and M. Von Riegen, Scenarios and techniques for choreography design, in: Business Information Systems, 10th International Conference, BIS 2007, Poznan, Poland, 25-27 April 2007, Proceedings, W. Abramowicz, ed., volume 4439 of Lecture Notes in Computer Science, Springer Verlag, 2007, 121-132.
16. W.M.P. Van der Aalst and M. Pesic, DecSerFlow: Towards a truly declarative service flow language. In WS-FM’06, volume 4184 of Lecture Notes in Computer Science, Springer Verlag, 2006.
17. N. Desai, A.K. Chopra and M.P. Singh, Business process adaptations via protocols. In 2006 IEEE International Conference on Services Computing (SCC 2006), 18-22 September 2006, Chicago, Illinois, USA, IEEE Computer Society, 2006, pages 103-110.
18. N. Fornara and M. Colombetti, Operational specification of a commitment-based agent communication language, in: Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002), Part II, C. Castelfranchi and W. Lewis Johnson, eds, Bologna, Italy, ACM Press, 15-19 July 2002, pp. 535-542.
19. M.N. Huhns and M.P. Singh, Service-oriented computing: Key concepts and principles, IEEE Internet Computing 9(1) (2005), 75-81.
20. A.C. Kakas, R.A. Kowalski and F. Toni, Abductive Logic Programming, Journal of Logic and Computation 2(6) (1993), 719-770.
21. R.A. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Computing 4(1) (1986), 67-95.
22. E. Lamma, P. Mello, M. Montali, F. Riguzzi and S. Storari, Inducing declarative logic-based models from labeled traces, in: Proceedings of the 5th International Conference on Business Process Management (BPM 2007), M. Rosemann and M. Dumas, eds, volume 4714 of Lecture Notes in Computer Science, Brisbane, Australia, Springer Verlag, 24-27 September 2007, pages 344-359.
23. A.U. Mallya, N. Desai, A.K. Chopra and M.P. Singh, Owl-p: Owl for protocol and processes, in: 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 25-29 July 2005, Utrecht, The Netherlands, F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh and M. Wooldridge, eds, ACM, 2005, pp. 139-140.
24. A.U. Mallya and M.P. Singh, Modeling exceptions via commitment protocols, in: 4rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 25-29 July 2005, Utrecht, The Netherlands, F. Dignum, V. Dignum, S. Koenig, S. Kraus, M.P. Singh and M. Wooldridge, eds, ACM, 2005, pp. 122-129.
25. A.U. Mallya and M.P. Singh, Incorporating commitment protocols into tropos, in: Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, 25 July 2005. Revised and Invited Papers, J.P. Müller and F. Zambonelli, eds, volume 3950 of Lecture Notes in Computer Science, Springer Verlag, 2006, pp. 69-80.
26. A.U. Mallya, P. Yolum and M.P. Singh, Resolving commitments among autonomous agents, in: Advances in Agent Communication, International Workshop on Agent Communication Languages, ACL 2003, Melbourne, Australia, 14 July 2003, F. Dignum, ed., volume 2922 of Lecture Notes in Computer Science, Springer Verlag, 2003, pp. 166-182.
27. M. Montali, M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello and P. Torroni, Verification from declarative specifications. In Proceedings of the 24th International Conference on Logic Programming (ICLP 2008), to appear.
28. M. Montali, W.M.P. van der Aalst, M. Pesic, F. Chesani, P. Mello and S. Storari, Declarative specification and verification of service choreographies. ACM Transactions on the Web, Submitted.
29. M. Pesic, H. Schonenberg andW.M.P. van der Aalst, Declare: Full support for loosely-structured processes. In 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA, IEEE Computer Society, 2007, pages 287-300.
30. M. Pradella, C.A. Furia, A. Morzenti and P. San Pietro, Zot, a flexible bounded model and satisfiability checker. In 15th International Symposium on Formal Methods (FM 2008), 2008. Posters and Research Tools.
31. D. Robertson, A. Barker, P. Besana, A. Bundy, Y.-H. Chen-Burger, D. Dupplaw, F. Giunchiglia, F. van Harmelen, F. Hassan, S. Kotoulas, D. Lambert, G. Li, J. McGinnis, F. McNeill and N. Osman, Adrian Perreau de Pinninck Bas, Ronny Siebes, Carles Sierra, and ChrisWalton. Models of interaction as a grounding for peer-to-peer knowledge sharing, LNCS Advances in Web Semantics, 2007.
32. M. Rouached, O. Perrin and C. Godart, Towards formal verification of web service composition. In 4th International Conference on Business Process Management, volume 4102 of Lecture Notes in Computer Science, Springer Verlag, 2006, pages 257-273.
33. M. Shanahan, An abductive event calculus planner, Journal of Logic Programming 44(1-3) (2000), 207-240.
34. M.P. Singh, An ontology for commitments in multiagent systems: Toward a unification of normative concepts, Artificial Intelligence and Law (7) (1999), 97-113.
35. W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, N. Russell, H.M.W. Verbeek and P.Wohed, Life after BPEL? in: International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, 1-3 September 2005, Proceedings, M. Bravetti, L. Kloul and G. Zavattaro, eds, volume 3670 of Lecture Notes in Computer Science, Springer Verlag, 2005, pp. 35-50.
36. W3C, Web services choreography description language version 1.0.
37. S.A. White, Business process modeling notation specification, Technical report, OMG, 2006.
38. P. Yolum and M.P. Singh, Flexible protocol specification and execution: applying event calculus planning using commitments. In Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2002, 15-19 July 2002, Bologna, Italy, ACM, 2002, pages 527-534.
39. J.M. Zaha, A. Barros, M. Dumas and A.H.M. ter Hofstede, Let’s dance: A language for service behavior modeling. QUT ePrints 4468, Faculty of Information Technology, Queensland University of Technology, 2006.
40. J.M. Zaha, M. Dumas, A.H.M. ter Hofstede, A. Barros and G. Dekker, Service Interaction Modeling: Bridging Global and Local Views, QUT ePrints 4032, Faculty of Information Technology, Queensland University of Technology, 2006.