Developing Tools for Agent-Oriented Visual Modeling

Most of the Agent-Oriented software engineering methodologies that have been developed in the last years tend to propose a model-based approach to software development. To be put into practice, this approach demands flexible modeling tools as well as tools that provide transformation mechanisms to support the translation from one specification language to another, and finally to code, in a transparent and simple manner. The Model-Based Architecture initiative by OMG is proposing a challenging scenario for the research in this area and it is going to influence it providing standards. In this paper we describe a modeling environment which integrates an AgentOriented (AO) modeling tool with other tools, such as a model-checker for the verification of formal properties of the model and a library which implements graph transformation techniques which can be used to support model refinement as well as model transformations. A scenario is given with the aim of presenting practical motiv...

• Type: Conference
• Year: 2004
• Where: MATES
• Authors: Anna Perini, Angelo Susi
• Keywords: MATES 2004, Modeling Environment, Modeling Tool, flexible Modeling Tools