Abstract
Open systems are complex, heterogeneous systems whose complexity is often handled by component-based approaches. While the internal functioning of such components is invisible to the outside, a great emphasis is put on the verification of properties that ensure a safe, predictable, and understandable external behaviour. At the same time, the rules that govern and describe the system behaviour must guarantee maximum flexibility. Developing technologies that can satisfy the requirements of open multi-agent systems poses an important and difficult challenge. Here, declarative approaches have the potential of offering solutions satisfying the needs for both specifying and developing open multi-agent systems and other open systems for diverse applications such as business processes, clinical guidelines and cloud computing.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Trans. Comput. Log. 9(4) (2008)
Artikis, A., Pitt, J.V.: Specifying open agent systems: A survey. In: Artikis, A., Picard, G., Vercouter, L. (eds.) ESAW 2008. LNCS, vol. 5485, pp. 29–45. Springer, Heidelberg (2008)
Dastani, M., Dignum, V., Dignum, F.: Role-assignment in open agent societies. In: AAMAS 2003: Proceedings of the second international joint conference on Autonomous agents and multiagent systems, pp. 489–496. ACM, New York (2003)
Davidsson, P.: Categories of artificial societies. In: Omicini, A., Petta, P., Tolksdorf, R. (eds.) ESAW 2001. LNCS (LNAI), vol. 2203, pp. 1–9. Springer, Heidelberg (2001)
Fornara, N., Viganò, F., Verdicchio, M., Colombetti, M.: Artificial institutions: a model of institutional reality for open multiagent systems. Artif. Intell. Law 16(1), 89–105 (2008)
Hewitt, C.: Open information systems semantics for distributed artificial intelligence. Artif. Intell. 47(1-3), 79–106 (1991)
Hewitt, C., de Jong, P.: Open systems. In: On Conceptual Modelling (Intervale), pp. 147–164 (1982)
Montali, M.: Specification and Verification of Open Declarative Interaction Models: a Logic-Based Framework. PhD thesis, Department of Electronics, Computer Sciences and Systems, University of Bologna, Italy (2009)
Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169–180. Springer, Heidelberg (2006)
Singh, M.P.: An ontology for commitments in multiagent systems. Artif. Intell. Law 7, 97–113 (1999)
Torroni, P., Yolum, P., Singh, M., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: Modelling interactions via commitments and expectations, ch. XI. IGI Global, Hershey, PA, US (2009)
van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Verbeek, H.M.W., Wohed, P.: Life after BPEL? In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 35–50. Springer, Heidelberg (2005) (invited speaker)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS, pp. 527–534. ACM, New York (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chesani, F., Mello, P., Montali, M., Torroni, P. (2010). Declarative Technologies for Open Agent Systems and Beyond. In: Jędrzejowicz, P., Nguyen, N.T., Howlet, R.J., Jain, L.C. (eds) Agent and Multi-Agent Systems: Technologies and Applications. KES-AMSTA 2010. Lecture Notes in Computer Science(), vol 6070. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13480-7_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-13480-7_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13479-1
Online ISBN: 978-3-642-13480-7
eBook Packages: Computer ScienceComputer Science (R0)