Using TOOMS/TROL for specifying a cellular phone

Dual models tend to integrate operational and descriptive (i.e., denotational) capabilities in a single powerful method. TROL is an object oriented dual language and model expressively defined for the specification of real time systems. It is supported by the CASE tool TOOMS which is documented in the literature. The TOOMS/TROL model allows one to describe the system at different levels of structural abstraction, and at different levels of specification detail without boundaries among the specification steps. It also supports the verification of consistency at each level of specification, thus allowing the incremental system specification. The experience in using the TOOMS/TROL tool and model for specifying a real time system-i.e., a cellular phone-is reported.