Formal Representation of Telecommunications Software Specification for Reuse

This paper presents an approach to represent the semantics of the CClTT (International Telegraph and Telephone Consultative Committee) SDL (Specification and Description Language) specifications using formal methods based on Extended Finite State Machine (EFSM) [CCITT84]. Such an underlying formal representation of an SDL specification will provide the basis on which software specifications reuse can be explored within an SDL environment.