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 Laic agent-based development of complex software systems. Especially the idea, to define: agent-oriented languages oil a more abstract level through metamodels is recently often applied. However; the metamodel's opportunity to express the language's semantics are restricted;is only concepts and their relationships to each other call 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.