Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
On agent-based software engineering
Artificial Intelligence
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
Issues in agent-oriented software engineering
First international workshop, AOSE 2000 on Agent-oriented software engineering
SODA: societies and infrastructures in the analysis and design of agent-based systems
First international workshop, AOSE 2000 on Agent-oriented software engineering
A modelling approach for agent based systems design
First international workshop, AOSE 2000 on Agent-oriented software engineering
Specifying agent behavior as concurrent tasks
Proceedings of the fifth international conference on Autonomous agents
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Developing Multiagent Systems with agentTool
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Abstractions and Infrastructures for the Design and Development of Mobile Agent Organizations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Expectation-Oriented Analysis and Design
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Requirement Specification Language for Configuration Dynamics of Multi-agent Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Semi-automatic design of agent organisations
Proceedings of the 2002 ACM symposium on Applied computing
Towards an ADL for Designing Agent-Based Systems
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
RAMASD: a semi-automatic method for designing agent organisations
The Knowledge Engineering Review
Agent-Based System Design for B2B Electronic Commerce
International Journal of Electronic Commerce
Comparing methodologies for the transition between software requirements and architectures
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
ADELFE: a methodology for adaptive multi-agent systems engineering
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Comparison of some negotiation algorithms using a tournament-based approach
NODe'02 Proceedings of the NODe 2002 agent-related conference on Agent technologies, infrastructures, tools, and applications for E-services
Specifying and verifying a MAS: the robots on mars case study
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
Goal decomposition tree: an agent model to generate a validated agent behaviour
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Implementing validated agents behaviours with automata based on goal decomposition trees
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
| Hi-index | 0.00 |
Multiagent systems have been touted as a way to meet the need for distributed software systems that must operate in dynamic and complex environments. However, in order for multiagent systems to be effective, they must be reliable and robust. Engineering multiagent systems is a non-trivial task, providing ample opportunity for even experts to make mistakes. Formal transformation systems can provide automated support for synthesizing multiagent systems, which can greatly improve their correctness and reliability. This paper describes a semi-automated transformation system that generates an agent's internal architecture from an analysis specification in the MaSE methodology.