Goal-directed requirements acquisition

Dardenne, Anne; Lamsweerde, Axel van; Fickas, Stephen

doi:10.1016/0167-6423(93)90021-g

Cited by 1,493 publications

(982 citation statements)

References 23 publications

Supporting

Mentioning

958

Contrasting

Unclassified

Order By: Relevance

“…A major breakthrough of the past decade in (Software) Requirements Engineering is the development of a framework for capturing and analyzing stakeholder intentions to generate functional and non-functional (hereafter quality) requirements [1][12] [17]. In essence, this work has extended upstream the software development process by adding a new phase (early requirements analysis) that is also supported by engineering concepts, tools and techniques, like its downstream cousins.…”

Section: Goal-oriented Requirements Engineeringmentioning

confidence: 99%

“…This decomposition may lead (through intermediate steps) to functional requirements such as "Remind Borrower" and "Notify User". A different decomposition of the initial goal, however, may involve buying a book whenever a request can't be fulfilled 1 . Obviously, there are in general many ways to fulfill a stakeholder goal.…”

Section: Goal-oriented Requirements Engineeringmentioning

confidence: 99%

“…While some GORE approaches (e.g., KAOS [1]) require formal specifications for all goals in goal models, in our approach it is up to the user to determine to what extent the model must be formalized. This means that if automated planning is a feature of the system, then all the goals will most likely be formally specified.…”

Section: Adding Formal Detailsmentioning

confidence: 99%

“…To make such designs possible, we need concepts for characterizing large spaces of alternative behaviours/configurations. Goal models in requirements engineering [1] and feature models in software product line design [5] offer such concepts. For example, the possible behaviours of an autonomic meeting scheduling system might be characterized by a goal model that indicates all possible ways of achieving the goal "Schedule Meeting."…”

Section: Introductionmentioning

confidence: 99%

See 3 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

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: Goal-oriented Requirements Engineeringmentioning

confidence: 99%

Section: Goal-oriented Requirements Engineeringmentioning

confidence: 99%

Section: Adding Formal Detailsmentioning

confidence: 99%

Section: Introductionmentioning

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

View full text Add to dashboard Cite

show abstract

“…For the analysis of concurrent real-time processes, also some temporal requirement specification languages have been introduced; e.g., (Dardenne et al, 1993;Darimont and Lamsweerde, 1996;Dubois et al, 1995). In (Chaochen, Hoare, and Ravn, 1991) a calculus is presented to model requirements and designs for real-time systems.…”

Section: Introductionmentioning

confidence: 99%

BDI-modelling of complex intracellular dynamics

Jonker

Snoep

Treur

et al. 2008

Journal of Theoretical Biology

View full text Add to dashboard Cite

A BDI-based continuous-time modelling approach for intracellular dynamics is presented. It is shown how temporalised BDI-models make it possible to model intracellular biochemical processes as decision processes. By abstracting from some of the details of the biochemical pathways, the model achieves understanding in nearly intuitive terms, without losing veracity: classical intentional state properties such as Beliefs, Desires and Intentions, are founded in reality through precise biochemical relations. In an extensive example, the complex regulation of Escherichia coli vis-à-vis lactose, glucose and oxygen is simulated as a discrete-state, continuous-time temporal decision manager. Thus a bridge is introduced between two different scientific areas: the area of BDI-modelling and the area of intracellular dynamics.

show abstract

Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering

Mylopoulus

1996

Int. J. Intell. Syst. Acc. Fin. Mgmt.

View full text Add to dashboard Cite

One step towards a more systematic approach to the design of business processes is to develop models that provide appropriate representations of the knowledge that is needed for understanding and for reasoning about business processes. We present a modelling framework which uses goals, rules and methods to support the systematic analysis and design of business processes. The frame‐work consists of two main components—a Strategic Dependency model that describes a process organization in terms of intentional dependencies among actors, and a Strategic Rationale model that supports reasoning during process redesign. Formal representation of these models allows computer‐based tools to be developed as extensions to, and eventually integrated with, other tools for supporting information systems development.

show abstract

Goal-directed requirements acquisition

Cited by 1,493 publications

References 23 publications

Requirements-driven design of autonomic application software

Requirements-driven design of autonomic application software

BDI-modelling of complex intracellular dynamics

Using Goals, Rules and Methods to Support Reasoning in Business Process Reengineering

Contact Info

Product

Resources

About