Formal approach to scenario analysis

Hsia, Pei; Samuel, Jayarajan; Gao, Jerry; Kung, David Chenho; Toyoshima, Y.; Chen, C.

doi:10.1109/52.268953

Cited by 188 publications

(88 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

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%

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

Heymans

Dubois²

1998

Requirements Engineering

View full text Add to dashboard Cite

show abstract

Section: Discussionmentioning

confidence: 99%

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

Heymans

Dubois²

1998

Requirements Engineering

View full text Add to dashboard Cite

show abstract

“…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%

Theoretical underpinning and prototype implementation of scenario bundle-based logical control for simulation of human–artifact interaction

Vegte

Horváth

2012

Computer-Aided Design

View full text Add to dashboard Cite

This article presents a new methodology that enables designers to include in simulations not only the physics aspects of artifact behavior, but also human actions. The motivation for this research came from the fact that none of the conventional approaches to engineering simulations includes manipulative control of products by users as foreseen by designers. By implementing control over physics simulations, changes in parameters can be introduced that alter the course of the simulated process. As a means to do this, we propose to use scenario bundles, with which designers can operationalize their conjectures of how human users interact with products as a series of interconnected simulations. For the imaginary use process described in a scenario bundle, the designer can specify various product designs, user characteristics and environments, which may in each case lead to different concatenations of simulation actions. The proposal facilitates the exploration of possible mismatches and anomalies in use processes. In this article we have described the theoretical fundamentals and the overall concept of the proposed methodology, as well as its realization as a proof-of-concept implementation. This implementation can be used as a tool to specify scenario bundles and to perform controlled simulations of human-product interaction. The use of the tool is demonstrated through a practical example. Although the implementation has proven to be successful in terms of executing scenario bundles, two bottlenecks need further attention: (i) devising stable algorithms for large deformations in physical interaction simulation and (ii) incorporation of already existing algorithms for simulation of low-level human motion control.

show abstract

“…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%

Crews: Towards Systematic Usage of Scenarios, Use Cases and Scenes

Jarke

1999

Electronic Business Engineering

View full text Add to dashboard Cite

Formal approach to scenario analysis

Cited by 188 publications

References 9 publications

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements

Theoretical underpinning and prototype implementation of scenario bundle-based logical control for simulation of human–artifact interaction

Crews: Towards Systematic Usage of Scenarios, Use Cases and Scenes

Contact Info

Product

Resources

About