Abstract
Attribute global types are a formalism for specifying and dynamically verifying multi-party agent interaction protocols. They allow the multiagent system designer to easily express synchronization constraints among protocol branches and global constraints on sub-sequences of the allowed protocol traces. FYPA (Find Your Path, Agent!) is a multiagent system implemented in Jade currently being used by Ansaldo STS for allocating platforms and tracks to trains inside Italian stations. Since information on the station topology and on the current resource allocation is fully distributed, FYPA involves complex negotiation among agents to find a solution in quasi-real time. In this paper we describe the FYPA protocol using both AUML and attribute global types, showing that the second formalism is more concise than the first, besides being unambiguous and amenable for formal reasoning. Thanks to the Prolog implementation of the transition function defining the attribute global type semantics, we are able to generate a large number of protocol traces and to manually inspect a subset of them to empirically validate that the protocol’s formalization is correct. The integration of the Prolog verification mechanism into a Jade monitoring agent is under way.
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.
Similar content being viewed by others
References
Ancona, D., Barbieri, M., Mascardi, V.: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In: SAC. ACM (2013)
Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring MASs from multiparty global session types in Jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol. 7784, pp. 76–95. Springer, Heidelberg (2013)
Baldoni, M., Baroglio, C., Marengo, E., Patti, V.: Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Trans. Intell. Syst. Technol. 4(2), 22:1–22:25 (2013)
Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming multi-agent systems in AgentSpeak using Jason. John Wiley & Sons (2007)
Briola, D., Mascardi, V.: Design and implementation of a NetLogo interface for the stand-alone FYPA system. In: WOA 2011, pp. 41–50 (2011)
Briola, D., Mascardi, V., Martelli, M.: Intelligent agents that monitor, diagnose and solve problems: Two success stories of industry-university collaboration. Journal of Information Assurance and Security 4, 106–117 (2009)
Briola, D., Mascardi, V., Martelli, M., Caccia, R., Milani, C.: Dynamic resource allocation in a MAS: A case study from the industry. In: WOA 2009 (2009)
Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2–17. Springer, Heidelberg (2007)
Chesani, F., Mello, P., Montali, M., Torroni, P.: Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems 27(1), 85–130 (2013)
Elfazziki, A., Nejeoui, A., Sadgal, M.: Advanced internet based systems and applications, pp. 169–179. Springer (2009)
Ghosh, S., Dutta, A.: Multi-agent based railway track management system. In: IACC 2013, pp. 1408–1413 (2013)
Giordano, L., Martelli, A., Schwind, C.: Specifying and verifying interaction protocols in a temporal action logic. Journal of Applied Logic 5(2), 214–234 (2007)
Gomes, C.P.: Artificial intelligence and operations research: challenges and opportunities in planning and scheduling. Knowl. Eng. Rev. 15(1), 1–10 (2000)
Hadad, M., Kraus, S., Gal, Y., Lin, R.: Temporal reasoning for a collaborative planning agent in a dynamic environment. Annals of Mathematics and Artificial Intelligence 37(4), 331–379 (2003)
Huget, M.-P., Bauer, B., Odell, J., Levy, R., Turci, P., Cervenka, R., Zhu, H.: FIPA modeling: Interaction diagrams. Working Draft Version 2003-07-02 (2003), http://www.auml.org/auml/documents/ID-03-07-02.pdf
Jennings, N.R., Sycara, K.P., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems 1(1), 7–38 (1998)
Knuth, D.E.: The genesis of Attribute Grammars. In: Deransart, P., Jourdan, M. (eds.) WAGA 1990. LNCS, vol. 461, pp. 1–12. Springer, Heidelberg (1990)
Mascardi, V., Ancona, D.: Attribute global types for dynamic checking of protocols in logic-based multiagent systems (technical communication). Theory and Practice of Logic Programming, On-line Supplement (2013)
Siahvashi, A., Moaveni, B.: Automatic train control based on the multi-agent control of cooperative systems. TJMCS 1(4), 247–257 (2010)
Tsang, C.W., Ho, T.K., Ip, K.H.: Train schedule coordination at an interchange station through agent negotiation. Transportation Science 45(2), 258–270 (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer International Publishing Switzerland
About this paper
Cite this paper
Mascardi, V., Briola, D., Ancona, D. (2013). On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds) AI*IA 2013: Advances in Artificial Intelligence. AI*IA 2013. Lecture Notes in Computer Science(), vol 8249. Springer, Cham. https://doi.org/10.1007/978-3-319-03524-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-03524-6_26
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-03523-9
Online ISBN: 978-3-319-03524-6
eBook Packages: Computer ScienceComputer Science (R0)