Visualisation of executable formal specifications for user validation

Özcan, Mehmet Bülent; Parry, Paul; Morrey, Ian; Siddiqi, Jawed I. A.

doi:10.1007/bfb0053503

Cited by 4 publications

(1 citation statement)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For example, [40] and [32] present an execution and animation framework for specifications in Z, whereas [22] does so for the language Albert II. In addition to being nonsequence-based design models and not having a play-inlike capability, the animation in these tools does not use the target application GUI.…”

Section: Related Workmentioning

confidence: 99%

Specifying and executing behavioral requirements: the play-in/play-out approach

2003

View full text Add to dashboard Cite

Abstract. A powerful methodology for scenario-based specification of reactive systems is described, in which the behavior is "played in" directly from the system's GUI or some abstract version thereof, and can then be "played out". The approach is supported and illustrated by a tool, which we call the play-engine. As the behavior is played in, the play-engine automatically generates a formal version in an extended version of the language of live sequence charts (LSCs). As they are played out, it causes the application to react according to the universal ("must") parts of the specification; the existential ("may") parts can be monitored to check their successful completion. Play-in is a user-friendly high-level way of specifying behavior and play-out is a rather surprising way of working with a fully operational system directly from its inter-object requirements. The ideas appear to be relevant to many stages of system development, including requirements engineering, specification, testing, analysis and implementation.

show abstract

Section: Related Workmentioning

confidence: 99%

Specifying and executing behavioral requirements: the play-in/play-out approach

2003

View full text Add to dashboard Cite

show abstract

Virtual Multi-User Software Prototypes III

Gabrysiak

Giese

Beyhl

2012

Design Thinking Research

View full text Add to dashboard Cite

Requirements validation based on the visualisation of executable formal specifications

Özcan

Parry²,

Morrey³

et al.

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 3

View full text Add to dashboard Cite

This paper reports on ongoing research work to facilitate the user validation process based on executable formal specifications. It embodies a visualisation system which allows software developers to choose an appropriate representation of objects used in a formal specification and create a dynamic and/or static animation of these objects in an interactive and iterative fashion. This paper outlines our approach and illustrates its application in a real-world setting.

show abstract

Visualisation of executable formal specifications for user validation

Cited by 4 publications

References 5 publications

Specifying and executing behavioral requirements: the play-in/play-out approach

Specifying and executing behavioral requirements: the play-in/play-out approach

Virtual Multi-User Software Prototypes III

Requirements validation based on the visualisation of executable formal specifications

Contact Info

Product

Resources

About