Abstract
This paper describes a type-oriented approach to the programming of social middleware. It defines a collection of metamodeling features which allow programmers to declare the social entity types which make up the program of a multiagent society for some application domain. These features are identified and formalised taking into account a specification of social middleware as programmable, abstract machines. Thus, the proposed approach results in the type system of an interaction-oriented programming language. The paper uses the C+ action language and the CCalc tool as formal devices, so that metamodeling features are given formal semantics as new social law abbreviations which complement the causal law abbreviations of C+. This programming language approach contrasts with the informal modeling approach endorsed by organizational methodologies, and promotes higher levels of formality, modularity and reusability in the specification of multiagent societies.
Research sponsored by the Spanish Ministry of Science and Innovation, project TIN2006-15455-C03-03.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Akman, V., Erdogan, S.T., Lee, J., Lifschitz, V., Turner, H.: Representing the zoo world and the traffic world in the language of the causal calculator. Artif. Intell. 153(1-2), 105–140 (2004)
Artikis, A., Sergot, M., Pitt, J.: Specifying norm-governed computational societies. ACM Transactions on Computational Logic 10(1) (2009)
Baldoni, M., Boella, G., van der Torre, L.W.N.: Roles as a coordination construct: Introducing powerJava. Electr. Notes Theor. Comput. Sci. 150(1), 9–29 (2006)
Cliffe, O., De Vos, M., Padget, J.A.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 60–79. Springer, Heidelberg (2007)
Esteva, M., de la Cruz, D., Sierra, C.: ISLANDER: an electronic institutions. In: Gini, M., Ishida, T., Castelfranchi, C., Johnson, W.L. (eds.) AAMAS 2002, July 2002, pp. 1045–1052. ACM Press, New York (2002)
Esteva, M., Rosell, B., Rodríguez-Aguilar, J.A., Arcos, J.L.: AMELI: An agent-based middleware for electronic institutions. In: AAMAS 2004, vol. 1, pp. 236–243 (2004)
Ferber, J., Gutknecht, O., Michel, F.: From agents to organizations: An organizational view of multi-agent systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 214–230. Springer, Heidelberg (2004)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1-2), 49–104 (2004)
Gutknecht, O., Ferber, J.: The MadKit agent platform architecture. In: Wagner, T.A., Rana, O.F. (eds.) AA-WS 2000. LNCS (LNAI), vol. 1887, pp. 48–55. Springer, Heidelberg (2001)
Hübner, J.F., Sichman, J.S., Boissier, O.: Moise+: towards a structural, functional, and deontic model for mas organization. In: AAMAS 2002, pp. 501–502. ACM, New York (2002)
Hübner, J.F., Sichman, J.S., Boissier, O.: S-moise+: A middleware for developing organised multi-agent systems. In: Boissier, O., Padget, J., Dignum, V., Lindemann, G., Matson, E., Ossowski, S., Sichman, J.S., Vázquez-Salceda, J. (eds.) ANIREM 2005 and OOOP 2005. LNCS (LNAI), vol. 3913, pp. 64–78. Springer, Heidelberg (2006)
Ricci, A., Viroli, M., Omicini, A.: Cartago: A framework for prototyping artifact-based environments in mas. In: Weyns, D., Van Dyke Parunak, H., Michel, F. (eds.) E4MAS 2006. LNCS (LNAI), vol. 4389, pp. 67–86. Springer, Heidelberg (2007)
Saugar, S., Serrano, J.M.: A web-based virtual machine for developing computational societies. In: Klusch, M., Pěchouček, M., Polleres, A. (eds.) CIA 2008. LNCS (LNAI), vol. 5180, pp. 162–176. Springer, Heidelberg (2008)
Serrano, J.M., Saugar, S.: Operational semantics of multiagent interactions. In: Durfee, E.H., Yokoo, M., Huhns, M.N., Shehory, O. (eds.) AAMAS 2007, pp. 889–896, IFAAMAS (2007)
Serrano, J.M., Saugar, S.: Run-time semantics of a language for programming social processes. In: Fisher, M., Sadri, F., Thielscher, M. (eds.) CLIMA 2009. LNCS, vol. 5405, pp. 37–56. Springer, Heidelberg (2009)
Tinnemeier, N., Dastani, M., Meyer, J.-J.: Roles and norms for programming agent organizations. In: Decker, Sichman, Sierra, Castelfranchi (eds.) AAMAS 2009, pp. 121–128 (2009)
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
Serrano, J.M., Saugar, S. (2010). Programming Social Middleware through Social Interaction Types. In: Dastani, M., El Fallah Segrouchni, A., Leite, J., Torroni, P. (eds) Languages, Methodologies, and Development Tools for Multi-Agent Systems. LADS 2009. Lecture Notes in Computer Science(), vol 6039. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13338-1_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-13338-1_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13337-4
Online ISBN: 978-3-642-13338-1
eBook Packages: Computer ScienceComputer Science (R0)