Specification and Animation of Reactive Systems

  title={Specification and Animation of Reactive Systems},
  author={Kenneth J. Turner and Ashley McClenaghan and Chi-Shiang Chan},
SOLVE (Specification using an Object-based, LOTOS-defined, Visual language) is designed to allow formal requirements capture, particularly for reactive systems. The SOLVE language is object-based, and formally defined using LOTOS (Language Of Temporal Ordering Specification). SOLVE is supported by tools that allow direct visual animation of systems specified in this language. Animation is supported by translating a SOLVE specification automatically into a LOTOS specification, and then… CONTINUE READING