From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
The development of multi-agent systems (MAS) is a complex task due to the specific characteristics associated with the software agent abstraction. Although several modeling languages ([1],[2] [3]) were created to facilitate the development of MAS, even the modeling languages are complex by themselves. Therefore, it is expected that some inconsistencies occur while modeling the structural and dynamic aspects of MAS. The early verification of such inconsistencies can avoid several implementation problems. In general, modeling languages don't have a precise semantics thus there is a need for formally specifying the models to proceed their verification. By verification we mean the process of checking if application models conform to the specification of the modeling diagrams defined in the language metamodel. To provide a formal specification of MAS design models we propose the definition of an ontology based on the language metamodel.