A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Agent-oriented software engineering
IEA/AIE '99 Proceedings of the 12th international conference on Industrial and engineering applications of artificial intelligence and expert systems: multiple approaches to intelligent systems
Representing Social Structures in UML
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
Autonomous Agents and Multi-Agent Systems
Verifying DAML+OIL and Beyond in Z/EVES
Proceedings of the 26th International Conference on Software Engineering
A framework for determining design correctness
Knowledge-Based Systems
Taming agents and objects in software engineering
Software engineering for large-scale multi-agent systems
Contributions to the emergence and consolidation of Agent-oriented Software Engineering
Journal of Systems and Software
Hi-index | 0.00 |
Agents are becoming a popular technology for the development of distributed, heterogeneous and always available systems. The application of agent technologies requires extensions to the existing object-oriented modeling languages to accommodate agent-related abstractions such as roles, organizations and environments. If it is difficult to analyze and establish the well-formedness of a set of diagrams of a UML-like object-oriented modeling language, it gets far more complex when the language is extended to add a set of agency related abstractions. In order to tame such complexity, we propose an ontology-based method for analyzing MAS specifications described using a modeling language that extends UML to accommodate the agency characteristics. The method proposes a twophase approach that covers different sets of MAS design properties. These properties are the ones related to each individual diagram and the ones associated with pairs of diagrams. The later take into consideration the interdependencies between diagrams. The method also provides features that allow the suggestion of some design guidelines whichmay improve the MAS design quality.