An integrated formal model of scenarios based on statecharts

Glinz, Martin

doi:10.1007/3-540-60406-5_19

Cited by 75 publications

(72 citation statements)

References 7 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: 97%

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: 97%

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

“…Glinz [12] uses statecharts to model scenarios. The integration of scenarios is performed in a way to retrieve the relationship between scenarios by keeping their internal structure unchanged, and to detect inconsistencies.…”

Section: Related Work and Discussionmentioning

confidence: 99%

“…Rule (10) demonstrates that from the state s new added transitions labeled with f s (begin) and f s (end) synchronize with the builder of referred use case clone. Finally, Rule (12) shows that all the outgoing transitions of s are duplicated in order to handle resuming of the base use case after the insertion of the referred use case clone. Fig.…”

Section: Base Use Case Builders Synthesismentioning

confidence: 99%

Composition of Use Cases Using Synchronization and Model Checking

Mizouni

Salah

Kolahi

et al. 2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.Capturing the behavior of a system by use cases have been intensively investigated in the last decade. The challenge is to find both the adequate model that fits the needs of the analyst and a formal composition mechanism which helps the generation of the expected behavior. In this paper, we propose a formal approach for specifying and composing use cases based on assignments. Those assignments are used to express new use cases. An assignment provides the join points and the composition operators that will be taken into account during the composition. These join points are, in fact, determined through a model checking step. They represent states where a property defined by the analyst holds. In order to evaluate these assignments, we define a composition mechanism based on the well known concept of synchronized product.

show abstract

“…As a more flexible alternative to the scenario-tree representation, organized sets of scenarios or scenario networks have been put forward, that allow repetitive loops and other forms of branching [25], [26]. These have been typically implemented as control models by using finite automata (FA) representations.…”

Section: Related Workmentioning

confidence: 99%

“…and also human processing time (as can be simulated with CAs) is usually not investigated, additional simulations are not needed. As representations for organized sets of scenarios, Statecharts [28] and, to a lesser extent, Petri nets [29] have become popular [25], [26], [30], [31]. Although FA representations can also be based on formal symbolic constructs and text, these graphical notations are generally considered easier to work with [32].…”

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

An integrated formal model of scenarios based on statecharts

Cited by 75 publications

References 7 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

Composition of Use Cases Using Synchronization and Model Checking

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

Contact Info

Product

Resources

About