Specification and analysis based on agents and goals

The objective of this WP is to define and develop techniques and algorithms for the analysis, modeling and design that are specific for any of the phases of the software development that involve the concepts of goal and actors. These concepts will be used to analyze and model the operating environment, to define the overall organization of the system, to design the various subsystems that constitute the overall system and to implement the system using the programming paradigm based on the notion of agent.

The framework I*, that is the base of the process used in the methodology, as outlined in the description of WP1, will provide a uniform basis for all phases and will be extended with more advanced analysis techniques suitable for the various phases of the development process.

During the domain knowledge acquisition phase the proposed transformational approach looks very promising. In fact, this phase is related to the analysis of the early requirements that are, in general, iteratively improved through simple modifications.

This same approach can also be used, with suitable adaptations, to the phase of the analysis of the late requirements, where we also need to take into account the analysis of the alternative solutions. To this end, we will investigate in this WP analysis techniques based on the traversal of the diagrams.

The framework I* allows for the visualization of the domain model through a goal diagram. The ability to automatically analyze these diagrams is of fundamental importance for the automation of the proposed methodology and will be studied in this WP and further extended in WP2 and WP3.

Moreover, we will explore the use of organizational styles inspired to the theory of organizations and the use of catalogues of multi-agent patterns for the definition and design analysis phases.


ResearchWP1 - Methodology and processWP2 - Specification and analysisWP3 - Verification and ValidationWP4 - Automated planningWP5 - Natural languageWP6 - Analysis and testingWP7 - ToolWP8 - Case study