Reasoning with Goal Models

Giorgini, Paolo; Mylopoulos, John; Nicchiarelli, Eleonora; Sebastiani, Roberto

doi:10.1007/3-540-45816-6_22

Cited by 191 publications

(213 citation statements)

References 5 publications

Supporting

Mentioning

207

Contrasting

Unclassified

Order By: Relevance

“…), the algorithm in [3] propagates these labels up towards the root goals using the semantics of AND/OR decompositions and contribution links. Thus, this algorithm can be used to determine how the satisfaction/denial of lower-level goals affects the satisfaction of higher-level ones.…”

Section: Reasoning With Goal Modelsmentioning

confidence: 99%

“…The achievement status of non-leaf goals can usually be deduced using the algorithm of [3] that propagates the satisfaction values of leaf-level goals up towards the root of the model. For example, if the goal "Through VPN" is determined to be achieved, then the goal "Connect to Intranet" is achieved as well by the semantics of the OR decomposition.…”

Section: Monitoringmentioning

confidence: 99%

“…Using one of the already mentioned goal analysis algorithms [3], the system will propagate the "denied" status of the failed leaf-level goal up the goal model to determine which higher-level goals will in turn be affected by this failure. This failure propagation can be presented to the user/administrator of the system to illustrate the severity of the problem by showing the problematic system parts.…”

Section: Self-healingmentioning

confidence: 99%

See 2 more Smart Citations

Requirements-driven design of autonomic application software

Lapouchnian

Liaskos

et al. 2006

Proceedings of the 2006 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '06

Self Cite

View full text Add to dashboard Cite

Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protection. These tasks are accomplished by switching at runtime to a different system behaviour -the one that is more efficient, more secure, more stable, etc. -while still fulfilling the main purpose of the system. Thus, identifying the objectives of the system, analyzing alternative ways of how these objectives can be met, and designing a system that supports all or some of these alternative behaviours is a promising way to develop autonomic systems. This paper proposes the use of requirements goal models as a foundation for such software development process and demonstrates this on an example.

show abstract

Section: Reasoning With Goal Modelsmentioning

confidence: 99%

Section: Monitoringmentioning

confidence: 99%

Section: Self-healingmentioning

confidence: 99%

See 1 more Smart Citation

Requirements-driven design of autonomic application software

Lapouchnian

Liaskos

et al. 2006

Proceedings of the 2006 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '06

Self Cite

View full text Add to dashboard Cite

show abstract

“…For example, obstacle analysis [15] explores possible obstacles to the satisfaction of a goal. Along a different dimension, qualitative goal analysis [16] allows qualitative contributions from one goal to another, and shows how to formalize and reason with them. In whatever form, goal-oriented requirements engineering has been attracting considerable attention within the software engineering community [17][18][19][20].…”

Section: Goals Aspects and Reusementioning

confidence: 99%

Quality-Based Software Reuse

Leite

Liu

et al. 2005

Notes on Numerical Fluid Mechanics and Multidisciplinary Design

Self Cite

View full text Add to dashboard Cite

Abstract. Work in software reuse focuses on reusing artifacts. In this context, finding a reusable artifact is driven by a desired functionality. This paper proposes a change to this common view. We argue that it is possible and necessary to also look at reuse from a non-functional (quality) perspective. Combining ideas from reuse, from goal-oriented requirements, from aspect-oriented programming and quality management, we obtain a goal-driven process to enable the quality-based reusability.

show abstract

“…The analysis can be performed using the goal reasoning algorithm proposed by Giorgini et al [23] on the goal model restricted by the evaluation of the location properties. A strategy for evaluating satisfiability follows a top-down approach: starting from a top-level goal, we should check that all (at least one) sub-goals in and-(or-) decompositions can be achieved, or that the top-level goal can be achieved via a makes (+1.0) contribution from an achievable goal.…”

Section: Location-based Goal Satisfiability (Lgs)mentioning

confidence: 99%

Modeling and Analyzing Variability for Mobile Information Systems

Ali

Dalpiaz

Giorgini

Computational Science and Its Applications – ICCSA 2008

Self Cite

View full text Add to dashboard Cite

Abstract. Advances in size, power, and ubiquity of computing, sensors, and communication technology made possible the development of mobile or nomadic information systems. Variability of location and system behavior is a central issue in mobile information systems, where behavior of software has to change and re-adapt to the different location settings. This paper concerns modeling and analysis of the complementary relation between software and location variability. We use graphical and formal location modeling techniques, show how to elicit and use location model in conjunction with Tropos goal-oriented framework, and introduce automated analysis on the location-based models.

show abstract

Reasoning with Goal Models

Cited by 191 publications

References 5 publications

Requirements-driven design of autonomic application software

Requirements-driven design of autonomic application software

Quality-Based Software Reuse

Modeling and Analyzing Variability for Mobile Information Systems

Contact Info

Product

Resources

About