Support for Analysis, Design, and Implementation Stages with MASDK

Authors:
Vladimir Gorodetsky;Oleg Karsaev;Vladimir Samoylov;Victor Konushy
Affiliations:
St. Petersburg Institute for Informatics and Automation, Russia 199178;St. Petersburg Institute for Informatics and Automation, Russia 199178;St. Petersburg Institute for Informatics and Automation, Russia 199178;St. Petersburg Institute for Informatics and Automation, Russia 199178
Venue:
Agent-Oriented Software Engineering IX
Year:
2009

Citing 8
Cited 1

ROADMAP: extending the gaia methodology for complex open systems

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Developing Multiagent Systems with agentTool

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
A Meta-Model for the Analysis and Design of Organizations in Multi-Agent Systems

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Developing multiagent systems: The Gaia methodology

ACM Transactions on Software Engineering and Methodology (TOSEM)
LS/ABPM - an agent-powered suite for goal-oriented autonomic BPM

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
The Tropos software development methodology: processes, models and diagrams

AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Extending Gaia with agent design and iterative development

AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
Paving the way for implementing multiagent systems: integrating gaia with Agent-UML

AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering

Formal methods in agent-oriented software engineering

AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

In spite of much research and development on agent-oriented software engineering methodologies and supporting software tools, the problem remains of topmost importance. Many efforts are still needed to make such methodologies and software tools practically applicable at an industrial scale. This paper proposes extension of the Gaia methodology with a formal specification language, making it possible to implement Gaia as a model-driven engineering process supported by a corresponding agent-based software development environment, MASDK 4.0. The paper outlines MASDK 4.0 through the extended Gaia, and demonstrates the technology supported by MASDK 4.0 on the basis of a fragment of a case study on autonomous air traffic control.