Statechart: A Visual Language for Software Requirement Specification

  title={Statechart: A Visual Language for Software Requirement Specification},
  author={W. Zhang and T. Beaubouef and H. Ye},
  journal={International Journal of Machine Learning and Computing},


Completeness and Consistency in Hierarchical State-Based Requirements
Methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency are described, using a low-level functional formalism, simplifying the analysis process. Expand
Modechart: A Specification Language for Real-Time Systems
The semantics of Modechart has an important property that the translation of a Modechart specification into RTL formulas results in a hierarchical organization of the resulting RTL assertions, which gives significant leverage in reasoning about properties of a system by allowing us to filter out assertions that concern lower levels of abstraction. Expand
Requirements Specification for Process-Control Systems
An example specification demonstrates the practicality of writing a formal requirements specification for a complex, process-control system; and the feasibility of building a formal model of a system using a specification language that is readable and reviewable by application experts who are not computer scientists or mathematicians. Expand
Documentation of requirements for computer systems
A functional approach to specifying the requirements of a computer system is discussed, a refinement of the method used in the A-7 aircraft software requirements model document. Expand
Specifying and Verifying Requirements of Real-Time Systems
An approach to specification of requirements and verification of design for real-time systems is presented, which decomposed into an architecture for a distributed system with specifications for sensor, actuator, and program components. Expand
Software Requirements for the A-7E Aircraft.
Abstract : The Software Cost Reduction (SCR) research project introduced a new approach to specifying requirements for real-time embedded systems. The principles were applied in the development ofExpand
Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions
An approach for visually specifying parallel/distributed software using Petri nets (PNs) extend with transition enabling functions (TEFs) is investigated. The approach is demonstrated to be useful inExpand
The A - 7 requirements model : reexamination for real - time and an application for monitoring systems
  • 1990
Formal Specification of Real-time Systems
This paper presents the formal syntax and semantics of Real Time Logic (RTL), a logic for the specification of real-time systems. An example illustrating the specification of a system in RTL isExpand
STATEMATE: a working environment for the development of complex reactive systems
The main novelty of STATEMATE is in the fact that it 'understands' the entire descriptions perfectly, to the point of being able to analyze them for crucial dynamic properties, to carry out rigorous animated executions and simulations of the described system, and to create running code automatically. Expand