Reasoning on choreographies and capability requirements

International Journal of Business Process Integration and Management

Volumn 2, Issue 4, 2007, Pages 247-261

  Baldoni, Matteo ^a   Baroglio, Cristina ^a   Martelli, Alberto ^a   Patti, Viviana ^a   Schifanella, Claudio ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Capabilities; Choreographies and interaction protocols; Reasoning; Semantic matchmaking

Indexed keywords

EID: 56349163776     PISSN: 17418763     EISSN: 17418771     Source Type: Journal    
DOI: 10.1504/IJBPIM.2007.017751     Document Type: Article

References (34)

1. Alberti, M., Gavanelli, M., Lamma, E., Mello, P. and Torroni, P. 'Specification and verification of agent interactions using social integrity constraints', Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Vol. 85, No. 2 of ENTCS. Elsevier.
2. Ancona, D. and Mascardi, V. (2004) 'Coo-BDI: Extending the BDI model with cooperativity', in J.A. Leite, A. Omicini, L. Sterling, and P. Torroni (Eds). Proceedings of the 1st Declarative Agent Languages and Technologies Workshop (DALT'03), Revised Selected and Invited Papers, Springer-Verlag, LNAI 2990, pp.109-134.
3. Baldoni, M., Baroglio, C., Martelli, A. and Patti, V. (2007) 'Reasoning about interaction protocols for customizing web service selection and composition', Journal of Logic and Algebraic Programming, Special Issue on Web Services and Formal Methods, Vol. 70, No. 1, pp.53-73.
4. Baldoni, M., Baroglio, C., Martelli, A. and Patti, V. (2006a) 'Verification of protocol conformance and agent interoperability', F. Toni and P. Torroni (Eds). Post-Proceedings of 6th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, Vol. 3900 of LNCS State-of-the-Art Survey, Springer, pp.265-283.
5. Baldoni, M., Baroglio, C., Martelli, A., Patti, V. and Schifanella, C. (2005) 'Verifying the conformance of web services to global interaction protocols: A first step', in M. Bravetti and G. Zavattaro (Eds). Proceedings of 2nd International Workshop on Web Services and Formal Methods, WS-FM 2005, Vol. 3670 of LNCS, Springer, Versailles, France, pp.257-271.
6. Baldoni, M., Boella, G. and van der Torre, L. (2006b) 'Powerjava: ontologically founded roles in object oriented programming languages', in D. Ancona and M. Viroli (Eds). Proceedings of 21st ACM Symposium on Applied Computing, SAC 2006, Special Track on Object-Oriented Programming Languages and Systems (OOPS 2006), Dijon, France, ACM.
7. Baldoni, M., Boella, G. and van der Torre, L. (2006c) 'Bridging agent theory and object orientation: Importing social roles in object oriented languages', R.H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni (Eds). Post-Proceedings of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, Vol. 3862 of Lecture Notes in Computer Science (LNCS), Springer, pp.57-75.
8. Baldoni, M., Giordano, L., Martelli, A. and Patti, V. (2004) 'Programming rational agents in a modal action logic', Annals of Mathematics and Artificial Intelligence, Special issue on Logic-Based Agent Implementation, Vol. 41 Nos. 2-4, pp.207-257. Available at: http://www.kluweronline.com/issn/1012-2443.
9. Bozzo, L., Mascardi, V., Ancona, D. and Busetta, P. (2005) 'CooWS: Adaptive BDI agents meet service-oriented computing', Proceedings of the International Conference on WWW/Internet, pp.205-209.
10. Busetta, P., Howden, N., Ronquist, R. and Hodgson, A. 'Structuring bdi agents in functional clusters', Proceedings of the 6th International Workshop on Agent Theories, Architectures, and Languages (ATAL99).
11. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2005) 'Choreography and orchestration: A synergic approach for system design', Proceedings of 4th International Conference on Service Oriented Computing (ICSOC 2005).
12. Campbell, A.E. and Shapiro, S.C. (1998) 'Algorithms for ontological mediation', Technical Report 98-02, 23.
13. Costantini, A.T.S. (2005) 'Learning by knowledge exchange in logical agents',in F. Corradini, F. De Paoli, E. Merelli and A. Omicini (Eds). Proceedings of WOA 2005: Dagli Oggetti Agli Agenti, Simulazione e Analisi Formale di Sistemi Complessi, Camerino, Italy, Pitagora Editrice Bologna. ISBN 88-371-1590-3.
14. CSELT (2007) Available at: http://jade.cselt.it/.
15. Dignum, F. (Ed). (2004) Advances in Agent Communication Languages, Vol. 2922 of LNAI, Springer-Verlag.
16. Foundation for Intelligent Physical Agents (2005) Available at: http://www.fipa.org.
17. Giampapa, J.A., Paolucci, M. and Sycara, K. (2000) 'Agent interoperation across multiagent system boundaries', Agents-2000 conference on autonomous agents, ACM Press.
18. Giordano, L. and Martelli, A. (2006) 'Web service composition in a temporal action logic', Proceedings of 4th International Workshop on AI for Service Composition (held in conjunction with ECAI 2006), Riva del Garda.
19. Guerin, F. and Pitt, J. (2003) 'Verification and Compliance Testing', in H.P. Huget (Ed). Communication in Multiagent Systems, Vol. 2650 of LNAI, Springer, pp.98-112.
20. Huget, M.P. and Koning, J.L. (2003) 'Interaction Protocol Engineering', in H.P. Huget (Ed). Communication in Multiagent Systems, Vol. 2650 of LNAI, Springer, pp.179-193.
21. Keller, U., Laraand, R., Polleres, A., Toma, I., Kifer, M. and Fensel, D. (2004) 'D5.1 v0.1 wsmo web service discovery', Technical Report WSML deliverable.
22. Klien, E., Lutz, M. and Kuhn, W. (2006) 'Ontology-based discovery of geographic information services - an application in disaster management', Computers, Environment and Urban Systems, Vol. 30, No. 1, pp.102-123.
23. Klusch, M. and Sycara, K. (2001) Brokering and Matchmaking for Coordination of Agent Societies: A Survey, Chapter 8, Springer.
24. Martelli, M. and Mascardi, V. (2003) 'From UML diagrams to Jess rules: integrating OO and rule-based languages to specify, implement and execute agents', F. Buccafurri (Ed). Proceedings of the 8th APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'03) pp.275-286.
25. Milner, R. (1999) Communicating and Mobile Systems: The Pi-Calculus Cambridge University Press.
26. OASIS (2003) 'Business process execution language for web services', Available at: Ftp://www6.software.ibm.com/software/developer/library/ ws-bpel.pdf.
27. OWL-S Coalition (2004) Available at: http://www.daml.org/services/owl-s/.
28. Padgham, L. and Lambrix, P. (2000) 'Agent capabilities: Extending BDI theory', AAAI/IAAI, pp.68-73, Available at: Citeseer.ist.psu.edu/ 625805.html.
29. Padmanabhan, V., Governatori, G. and Sattar, A. 'Actions made explicit in bdi', Advances in Artificial Intelligence, No. 2256 in LNCS, Springer, pp.390-401.
30. Paolucci, M., Kawmura, T., Payne, T. and Sycara, K. (2002) 'Semantic matching of web services capabilities', First International Semantic Web Conference.
31. Srivastava, B. and Koehler, J. (2003) 'Web service composition - current solutions and open problems', ICAPS 2003, Workshop on Plannuing for Web Services, pp.28-35.
32. van der Aalst, W.M.P., Dumas, M., ter Hofstede, A. H. M., Russell, N., Verbeek, H.M.W. and Wohed, P. (2005) 'Life after BPEL?' Proceedings of WS-FM'05, Vol. 3670 of LNCS, Springer, pp.35-50. Invited speaker.
33. WS-CDL (2004) Available at: http://www.w3.org/tr/ws-cdl-10/.
34. Zaremski, A.M. and Wing, J.M. 'Specification matching of software components', ACM Transactions on Software Engineering and Methodology Vol. 6, No. 4, pp.333-369.