Automated Mapping from Goal Models to Self-Adaptive Systems

Morandini, Mirko; Penserini, Loris; Perini, Anna

doi:10.1109/ase.2008.83

Cited by 15 publications

(10 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This structure can be enriched defining goal types (maintenance, achievement), goal satisfaction and goal failure criteria [15]. Selecting the proposed agent development platform Jadex, the mapping to an Agent Definition File specification is tool-supported [14].…”

Section: Bdi Agents Designmentioning

confidence: 99%

“…Several support tools for Tropos are available: TAOM4e covers the entire development cycle [13,21], t2x supports generating agent-oriented implementations [14], the T-Tool [8] provides model checking for Tropos specifications, the GR-Tool supports formal reasoning on goal models [9] and multi-agent planning enables the selection among alternative networks of delegations [5].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

The Tropos Software Engineering Methodology

Morandini

Dalpiaz

Nguyen

et al. 2014

Handbook on Agent-Oriented Design Processes

Self Cite

View full text Add to dashboard Cite

The agent-oriented software engineering methodology Tropos offers a structured development process for the development of socio-technical systems. Such systems explicitly recognise the interplay between social actors (humans and organisations) and technical systems (software). Tropos adopts the state-of-theart i* requirements modelling language throughout the development cycle, giving special attention to the early phases of domain and requirements analysis. The system is modelled in terms of the goals of the involved actors and their social interdependencies, allowing for a seamless transition from the requirements to the design and potentially to an agent-oriented implementation. Tropos prescribes a limited set of domain-independent models, activities and artefacts, which can be complement with domain-and application-specific ones.

show abstract

Section: Bdi Agents Designmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

The Tropos Software Engineering Methodology

Morandini

Dalpiaz

Nguyen

et al. 2014

Handbook on Agent-Oriented Design Processes

Self Cite

View full text Add to dashboard Cite

show abstract

“…The designer is guided to develop a self-adaptive system along three main steps: conceptual modelling for self-adaptivity; a structured mod- elling of alternatives; and a mapping to the implementation phase. A mapping between Tropos4AS goal models and Jadex BDI agent code has been developed in [4,3] and is supported by the t2x tool 1 .…”

Section: The Framework: Tropos4asmentioning

confidence: 99%

Modelling Self-Adaptivity: A Goal-Oriented Approach

Morandini

Penserini

Perini³

2008

2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems

Self Cite

View full text Add to dashboard Cite

Self-adaptive systems aim at autonomously achieving their objectives in a dynamic environment, adapting their behaviour to different circumstances. We claim that appropriate software engineering methodologies are needed to define and to model the information necessary for a system to perform autonomous diagnosis and decision making at runtime.In this short paper we focus on conceptual modelling for the design of self-adaptive software. Our design framework adopts a goal-oriented approach to specify variability in system requirements, coping with some limits of current goal modelling approaches.

show abstract

“…According to (Cossentino et al, 2005), the Tropos methodology allows direct mapping of modelling for JACK language. However, the TAOM4E tool can also automatically generate code for the JADEX language (Morandini et al, 2008).…”

Section: Related Workmentioning

confidence: 99%