An object-oriented dual language for specifying reactive systems

Descriptive software specification techniques are based on mathematical formalism and produce precise, rigorous specifications which are in general to be preferred for the design of reactive systems with respect to operational techniques. Recently, dual languages which tend to integrate these aspects have been investigated. An object-oriented specification dual language, named TROL is presented, it consists in an executable formal specification model which can be used for validation of reactive systems. TROL has the capability to describe the system behavior, its functionality and structural aspects. It allows one to describe the system at different levels of structural abstractions and specification details without boundaries among the specification steps. At each specification level, TROL helps the user in the verification of consistency, thus allowing incremental specification. TROL has a visual representation which has been supported by a CASE tool named TOOMS