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 \ep which integrates an Agent-Oriented (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. Designing the tool we are taking into account reccomandations from the Model-Based Architecture initiative. A scenario is given with the aim of presenting practical motivations for supporting a light integration of different specification languages as well as the need for stronger synchronization mechanisms between different views on a model. We describe the \ep architecture, give details on the AO modeling tool and on the components that allows for the integration with other tools
Developing Tools for Agent-Oriented Visual Modeling
Perini, Anna;Susi, Angelo
2004-01-01
Abstract
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 \ep which integrates an Agent-Oriented (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. Designing the tool we are taking into account reccomandations from the Model-Based Architecture initiative. A scenario is given with the aim of presenting practical motivations for supporting a light integration of different specification languages as well as the need for stronger synchronization mechanisms between different views on a model. We describe the \ep architecture, give details on the AO modeling tool and on the components that allows for the integration with other toolsI documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
