Abstract
Recently, associated with the increasing acceptance of agent-based computing as a novel computing paradigm a lot of research has been addressed to develop mechanisms and methods to support the agent-based development of complex software systems. Especially the idea to define agent-oriented languages on a more abstract level through metamodels is recently often applied. However, the metamodel’s opportunity to express the language’s semantics are restricted as only concepts and their relationships to each other can be defined within the metamodel. This paper discusses an approach to formalize the semantics of Dsml4mas—a modeling language for multiagent systems—to support the system designer in validating and verifying the generated design.
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
Bauer, B., Müller, J., Odell, J.: Agent UML: A formalism for specifying multiagent interaction. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)
Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From stakeholder intentions to software agent implementations. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 465–479. Springer, Heidelberg (2006)
Papasimeon, M., Heinze, C.: Extending the UML for designing JACK agents. In: Proceedings of the Australian Software Engineering Conference, ASWEC 2001 (2001)
Bordini, R.H., Dastani, M., Winikoff, M.: Current issues in multi-agent systems development. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS, vol. 4457, pp. 38–61. Springer, Heidelberg (2007)
Hahn, C.: A platform independent agent-based modeling language. In: Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 233–240 (2008)
Smith, G.: The Object-Z Specification Language. Advances in Formal Methods, vol. 1. Kluwer Academic Publishers, Dordrecht (2000)
Woodcock, J., Davies, J.: Using Z: Specification, Refinement, and Proof. Prentice-Hall International, Englewood Cliffs (1996)
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science, Englewood Cliffs (1992)
Smith, G., Hayes, I.J.: Structuring real-time Object-Z specifications. In: Grieskamp, W., Santen, T., Stoddart, B. (eds.) IFM 2000. LNCS, vol. 1945, pp. 97–115. Springer, Heidelberg (2000)
Hahn, C., Madrigal-Mora, C., Fischer, K.: A platform-independent metamodel for multiagent systems. International Journal of Autonomous Agents and Multi-Agent Systems (2008)
Warwas, S., Hahn, C.: The contrete syntax of the platform independent modeling language for multiagent systems. In: Proceedings of the Agent-based Technologies and applications for enterprise interOPerability (ATOP 2008). Workshop hold at the Seventh International Joint Conference on Autonomous Agents & Multiagent Systems, AAMAS 2008 (2008)
Roe, D., Broda, K., Russo, A.: Mapping UML models incorporating OCL constraints into Object-Z. Technical Report 2003/9, Imperial College, 180 Queen’s Gate, London (2002)
O’Keefe, G.: Improving the definition of UML. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 42–56. Springer, Heidelberg (2006)
Broy, M., Crane, M.L., Dingel, J., Hartman, A., Rumpe, B., Selic, B.: 2\(^{\mbox{nd}}\) UML 2 semantics symposium: Formal semantics for UML. In: Kühne, T. (ed.) MoDELS 2006. LNCS, vol. 4364, pp. 318–323. Springer, Heidelberg (2007)
d’Inverno, M., Luck, M.: Understanding agent systems. Springer, New York (2001)
Spivey, J.M.: The Z notation: a reference manual. Prentice-Hall, Inc., Upper Saddle River (1989)
Brandão, A., Alencar, P.S.C., de Lucena, C.J.P.: AgentZ: Extending Object-Z for multi-agent systems specification. In: Bresciani, P., Giorgini, P., Henderson-Sellers, B., Low, G., Winikoff, M. (eds.) AOIS 2004. LNCS, vol. 3508, pp. 125–139. Springer, Heidelberg (2005)
Hilaire, V., Koukam, A., Gruer, P., Müller, J.P.: Formal specification and prototyping of MAS. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS (LNAI), vol. 1972, pp. 114–127. Springer, Heidelberg (2000)
Yu, E.: Towards modelling and reasoning support for early-phase requirements engineering. In: 3rd IEEE Int. Symp. on Requirements Engineering, pp. 226–235 (1997)
Vilkomir, S., Ghose, A., Krishna, A.: Combining agent-oriented conceptual modelling with formal methods. In: Proceedings of the Australian Software Engineering Conference, pp. 147–155 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hahn, C., Fischer, K. (2009). The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems. In: Luck, M., Gomez-Sanz, J.J. (eds) Agent-Oriented Software Engineering IX. AOSE 2008. Lecture Notes in Computer Science, vol 5386. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01338-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-01338-6_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01337-9
Online ISBN: 978-3-642-01338-6
eBook Packages: Computer ScienceComputer Science (R0)