Rule descriptions for telecommunication services and their transformation into standardized specification descriptions

As telecommunication software has become more complex and sophisticated, designers have been obliged to devote considerable time and effort to software development. Specification description technique is an important approach for improving software productivity. However, to achieve high productivity, design support in early stages of software development is even more important. The authors describe a specification method, STR (state transition rule) method, and its verification method. The method allows them to specify and verify service behaviour in the early stages of software development. This paper discusses the transformation of STR descriptions into standardized specification descriptions, such as SDL (functional specification description language). The transformation assumes a certain software architecture and generates interactions among terminals