Download:
|
by Jules Desharnais, Ali Mili
IEEE Transactions on Software Engineering
http://www.isr.wvu.edu/products/tse.ps
Add To MetaCart
Abstract:
2 ieee transactions on software engineering Abstract--- We give a formal relation-based definition of scenarios and we show how different scenarios can be integrated to obtain a more global view of user-system interactions. We restrict ourselves to the sequential case, meaning that we suppose that there is only one user (thus, the scenarios we wish to integrate cannot occur concurrently). Our view of scenarios is state-based, rather than event-based, like most of the other approaches, and can be grafted to the well-established specification language Z. Also, the end product of scenario integration, the specification of the functional aspects of the system, is given as a relation; this specification can be refined using independently developed methods. Our formal description is coupled with a diagram-based, transition-system like, presentation of scenarios, which is better suited to communication between clients and specifiers. Index Terms--- Scenario, integration, user-system interaction, requirements elicitation, relational approach, state-based approach.
Citations
|
1713
|
Statecharts: A Visual Formalism for Complex Systems
– Harel
- 1987
|
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
737
|
The temporal logic of actions
– Lamport
- 1994
|
|
491
|
On Visual Formalisms
– Harel
- 1988
|
|
437
|
On the Formal Semantics of Statecharts
– Harel, Pnueli, et al.
- 1987
|
|
292
|
S.: Goal-directed requirements acquisition
– Dardenne, Lamsweerde, et al.
- 1993
|
|
170
|
Understanding Z - A Specification Language and its Formal Semantics. Cambridge Tracts in Computer Science 3
– Spivey
- 1988
|
|
121
|
Z: An Introduction to Formal Methods
– Diller
- 1994
|
|
89
|
Formal Approach to Scenario Analysis
– Hsia
- 1994
|
|
61
|
Object Behavior Analysis', in
– Rubin, Goldberg
- 1992
|
|
60
|
An integrated formal model of scenarios based on statecharts
– Glinz
- 1995
|
|
47
|
A method for synthesizing sequential circuits
– Mealy
- 1955
|
|
46
|
Precise Documentation of Well-Structured Programs
– Parnas, Madey, et al.
- 1994
|
|
41
|
Relations and Graphs, Discrete Mathematics for Computer Scientists. EATCS-Monographs on Theoretical Computer Science
– Schmidt, Strohlein
- 1993
|
|
34
|
Tabular representations in relational documents
– Janicki, Parnas, et al.
- 1997
|
|
28
|
The lattice of specifications: Applications to a specification methodology
– Boudriga, Elloumi, et al.
- 1992
|
|
27
|
From scenarios to timed automata: building specifications from users requirements
– Somé, Dssouli, et al.
- 1995
|
|
20
|
Tla in pictures
– Lamport
- 1995
|
|
13
|
Consistency and refinement for partial specification in Z
– Boiten, Derrick, et al.
- 1996
|
|
12
|
Embedding a demonic semilattice in a relation algebra
– Desharnais, Belkhiter, et al.
- 1995
|
|
12
|
Developing Initial OOA Models
– Lubars, Potts, et al.
- 1993
|
|
10
|
Will the Real Scenario Please Stand Up
– Campbell
- 1992
|
|
10
|
Checking relational specifications with binary decision diagrams
– Damon, Jackson, et al.
- 1996
|
|
10
|
A calculus of program construction by parts
– Frappier, Desharnais, et al.
- 1996
|
|
10
|
A Scenario-Based Methodology for Conducting Requirements Elicitation
– Holbrook
- 1990
|
|
9
|
G.: The RELVIEW-system
– Berghammer, Schmidt
- 1991
|
|
9
|
A relational approach to the design of deterministic programs
– Mili
- 1983
|
|
8
|
Refinement and demonic semantics
– Desharnais, Mili, et al.
- 1997
|
|
8
|
Utilizing scenarios in the software development process
– Benner, Feather, et al.
- 1992
|
|
7
|
Relational heuristics for the design of deterministic programs
– Mili, Desharnais, et al.
- 1987
|
|
7
|
Computer Program Construction
– Mili, Desharhais, et al.
- 1994
|
|
7
|
And nothing else changes": The frame problem in procedure specifications
– Borgida, Mylopoulos, et al.
- 1993
|
|
3
|
A Formal Approach to Scenario Integration
– Lustman
- 1997
|
|
2
|
Categorizing scenarios: A quixotic quest
– Campbell
- 1992
|
|
2
|
Sp'ecification formelle de syst`emes d'information interactifs par la technique des sc'enarios. Master's thesis, D'epartement d'informatique et de recherche op'erationnelle, Universit'e de
– Kawashita
- 1996
|
