1994
DOI: 10.1109/52.268953
|View full text |Cite
|
Sign up to set email alerts
|

Formal approach to scenario analysis

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
80
0
10

Year Published

1998
1998
2017
2017

Publication Types

Select...
6
3
1

Relationship

0
10

Authors

Journals

citations
Cited by 190 publications
(90 citation statements)
references
References 9 publications
0
80
0
10
Order By: Relevance
“…This is indicated by the fact that the addition of constructs to MSCs proposed in the literature in order to make them more abstract (that is, make them able to describe larger numbers of instance-level behaviours) tend to make MSCs complex (see [1,2]). With respect to other methods that make use of scenarios for the elicitation of formal specifications [22,12,37], we claim for a greater expressiveness and naturalness of the resulting specification even if we are not able to build it in a fully-automated way.…”
Section: Discussionmentioning
confidence: 99%
“…This is indicated by the fact that the addition of constructs to MSCs proposed in the literature in order to make them more abstract (that is, make them able to describe larger numbers of instance-level behaviours) tend to make MSCs complex (see [1,2]). With respect to other methods that make use of scenarios for the elicitation of formal specifications [22,12,37], we claim for a greater expressiveness and naturalness of the resulting specification even if we are not able to build it in a fully-automated way.…”
Section: Discussionmentioning
confidence: 99%
“…Various paths from each junction in the tree represent state-transforming operations, one of which is selected. Each of the possible routes connecting junctions is a scenario of use [24], and the idealized task decomposition that is used to control CA-simulations is just one scenario that ignores the logic of decision-making.…”
Section: Related Workmentioning
confidence: 99%
“…While researchers, focusing on the form view, investigate scenarios as formal mediators between detailed traces and class-level specifications (Hsia et al 1994), practitioners rarely use formal scenario representations. However, they would like to treat textual scenarios more formally and complain about a lack of guidance in authoring text scenarios.…”
Section: Scenario Research and Practicementioning
confidence: 99%