Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. The paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements models are acquired as instances of a conceptual meta-model. The latter can be represented as a graph where each node captures an abstraction such as, e.g., goal, action, agent, entity, or event, and where the edges capture semantic links between such abstractions. Well-formedness properties on nodes and links constrain their instances - that is, elements of requirements models. Requirements acquisition processes then correspond to particular ways of traversing the meta-model graph to acquire approp...
|
1760
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
237
|
Representing and using nonfunctional requirements: a process-oriented approach
– Mylopoulos, Chung, et al.
- 1992
|
|
145
|
The Entity Relationship Model -Toward a Unified View of Data
– Chen
- 1976
|
|
138
|
The Z Notation
– Spivey
- 1992
|
|
114
|
Semantic Database Modeling: Survey
– Hull, King
- 1987
|
|
101
|
Achieving several goals simultaneously
– Waldinger
- 1990
|
|
78
|
XPLAIN: A system for creating and explaining expert consulting systems
– Swartout
- 1983
|
|
78
|
Multiple criteria decision making
– Zeleny
- 1982
|
|
73
|
On Formalism in Specifications
– Meyer
- 1985
|
|
68
|
Imagined communities
– Anderson
- 1991
|
|
68
|
Computational approaches to analogical reasoning: a comparative analysis
– Hall
- 1989
|
|
66
|
TRIO: A Logic Language for Executable Specifications of Real-time Systems
– Ghezzi, Mandrioli, et al.
- 1990
|
|
66
|
The Requirements Apprentice: Automated assistance for requirements acquisition
– Reubenstein, Waters
- 1991
|
|
54
|
Systematic Software Development using VDM, 2nd Edition
– Jones
- 1990
|
|
42
|
An operational approach to requirements specification for embedded systems
– Zave
- 1982
|
|
37
|
A Taxonomy of Current Issues in Requirements Engineering
– Roman
- 1985
|
|
36
|
Integrating multiple specifications using domain goals
– Robinson
- 1989
|
|
35
|
Report on the Larch shared language
– Guttag, Horning
- 1986
|
|
34
|
Requirements Modelling: A Knowledge Representation Approach to Software Requirements Definition
– Greenspan
- 1984
|
|
31
|
Multi-Party Specification
– Finkelstein, Fuks
- 1989
|
|
28
|
Negotiation Behavior During Requirement Specification
– Robinson
- 1990
|
|
27
|
Real-time programming and asynchronous message passing
– Koymans, Vytopil, et al.
- 1983
|
|
23
|
A study of 12 specifications of the library problem
– Wing
- 1988
|
|
18
|
Metal: A formalism to specify formalisms
– KAHN, LANG, et al.
- 1983
|
|
17
|
Constructing specifications by combining parallel elaborations' in
– Feather
- 1989
|
|
16
|
A Requirements Modeling Language and its Logic
– Greenspan, Borgida, et al.
- 1986
|
|
15
|
Specifying software quality requirements with metrics
– Keller, Kahn, et al.
- 1990
|
|
14
|
Critiquing Software Specifications
– Fickas, Nagarajan
|
|
11
|
The KAOS Project: Knowledge Acquisition in Automated Specification of Software
– Lamsweerde, Dardenne, et al.
- 1991
|
|
9
|
Teiresias: Applications of meta-level knowledge
– Davis
- 1982
|
|
8
|
Lamsweerde, "Goal-directed concept acquisition in requirements elicitation
– Dardenne, Fickas, et al.
- 1991
|
|
8
|
Rifaut: A Formal Language for the Requirements Engineering of Computer Systems
– Dubois, Hagelstein, et al.
- 1991
|
|
8
|
Building Formal Specifications Using "Structured Common Sense
– Finkelstein, Potts
- 1987
|
|
8
|
Specifying and Verifying Requirements of Real-Time Systems
– Hansen, Ravn, et al.
- 1991
|
|
7
|
An introduction to ASL
– Astesiano, Wirsing
- 1986
|
|
7
|
Generic lifecycle support in the ALMA environment
– Lamsweerrde, Delcourt, et al.
- 1988
|
|
5
|
Lamsweerde, "Learning Machine Learning", in: Introducing a Logic Based Approach to
– van
- 1991
|
|
5
|
KAOS Knowledge Representations as Initial Support for Formal Specification
– Lamsweerde, Dardenne, et al.
- 1991
|
|
4
|
Operational specification as the basis for specification validation
– Balzer, Cohen, et al.
- 1983
|
|
3
|
A Model for Composite System Design
– Doerry, Fickas, et al.
- 1991
|
|
3
|
A Problem Solver for Making Advice Operational
– Mostow
- 1983
|
|
2
|
A Knowledge-Based System for Acquiring the Conceptual Structure of a Diagnostic Expert System
– Benett
- 1985
|
|
2
|
Language Support for the Specification and Development of Composite Systems
– M
- 1987
|
|
1
|
Lamsweerde, Requirements Acquisition by Analogy
– Dubisy, van
- 1992
|
|
1
|
Lamsweerde, "Making Specification Processes Explicit
– E, van
- 1987
|
|
1
|
Explanation-Based Learning: A Survey of Programs and Perspectives
– T
- 1989
|
|
1
|
The INFOLOG Linear Tense Propositional Logic of Events and Transactions
– Fiadeiro, Sernadas
- 1986
|
|
1
|
Towards Structured Algebraic Specifications", ESPRIT'85 Status Report
– Gaudel
- 1986
|
|
1
|
First Version of a Model for
– Finance, Souquieres, et al.
- 1991
|
