Algebraic Specification through Expression Transformation
Manuel José Fernández Iglesias, Martín Llamas Nistal · 1997
In this paper we present a framework to help the specifier to define, handle, and gather properties of ACT-ONE-based Abstract Data Types. This framework may also be used to add data support to other formal design tasks like normalization, or verification of relations like bisimulation. This framework has been implemented in the LOTOS design tool LOLA to fulfill these objectives.