Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Temporal logic and Z specifications
Australian Computer Journal
Design and validation of computer protocols
Design and validation of computer protocols
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
ACM Computing Surveys (CSUR)
Automatic layout of statecharts
Software—Practice & Experience
ViSta: a tool suite for the visualization of behavioral requirements
Journal of Systems and Software
Compiling ARGOS into Boolean Equations
FTRTFT '96 Proceedings of the 4th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
An Improved Recipe for Specifying Reactive Systems in Z
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Analyzing a Real-Time Program with Z
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Which Aesthetic has the Greatest Effect on Human Understanding?
GD '97 Proceedings of the 5th International Symposium on Graph Drawing
Integrating Action Systems and Z in a Medical System Specification
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
A Translation of Statecharts into Signal Approach of Time, Interoperability
CSD '98 Proceedings of the 1998 International Conference on Application of Concurrency to System Design
Implementing Statecharts in PROMELA/SPIN
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
From informal specification to formalization: an automated visualization approach
From informal specification to formalization: an automated visualization approach
Visualizing formalisms with ORM models
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
| Hi-index | 0.00 |
ViSta is a tool suite designed to support the requirements specification of reactive systems. It guides the user through the steps necessary for the visualization of statechart diagrams from an informal document. The user first extracts information from a textual document and stores into a set of interactive templates. The information is used by the tool to automatically generate statechart layouts. In this paper we describe how ViSta is augmented with a tool that automatically translates statecharts into Z specifications. The template, statechart and Z representations are inter-related. This ensures consistency between the different representations, and therefore facilitates the verification and validation effort.