The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems

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.

[1]  Paulo S. C. Alencar,et al.  Extending (Object-)Z for multi-agent systems specification , 2004, CAiSE Workshops.

[2]  Abder Koukam,et al.  Formal Specification and Prototyping of Multi-agent Systems , 2000, ESAW.

[3]  Michael Papasimeon,et al.  Extending the UML for designing Jack agents , 2001, Proceedings 2001 Australian Software Engineering Conference.

[4]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[5]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[6]  Michael Luck,et al.  Understanding Agent Systems , 2001, Springer Series on Agent Technology.

[7]  Krysia Broda,et al.  Mapping UML Models incorporating OCL Constraints into Object-Z , 2003 .

[8]  Bernhard Bauer,et al.  Agent UML : A formalism for specifying multiagent interaction , 2001 .

[9]  Jim Woodcock,et al.  Using Z - specification, refinement, and proof , 1996, Prentice Hall international series in computer science.

[10]  M. Broy,et al.  2nd UML 2 semantics symposium: formal semantics for UML , 2006, MoDELS'06.

[11]  Klaus Fischer,et al.  A platform-independent metamodel for multiagent systems , 2008, Autonomous Agents and Multi-Agent Systems.

[12]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[13]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[14]  Christian Hahn,et al.  The Platform Independent Modeling Language for Multiagent Systems , 2005, ATOP@AAMAS.

[15]  John Mylopoulos,et al.  From Stakeholder Intentions to Software Agent Implementations , 2006, CAiSE.

[16]  Aneesh Krishna,et al.  Combining agent-oriented conceptual modelling with formal methods , 2004, 2004 Australian Software Engineering Conference. Proceedings..

[17]  Graeme Smith,et al.  The Object-Z Specification Language , 1999, Advances in Formal Methods.

[18]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[19]  Manuel Kolp,et al.  Agent-Oriented Information Systems IV, 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers , 2008, AOIS.

[20]  Michael Winikoff,et al.  Current Issues in Multi-Agent Systems Development , 2006, ESAW.

[21]  Greg O'Keefe,et al.  Improving the definition of UML , 2006, MoDELS'06.

[22]  Graeme Smith,et al.  Structuring Real-Time Object-Z Specifications , 2000, IFM.