Stepwise telecommunication software generation from service specifications in state transition model

A method of stepwise telecommunication software generation through terminal behavior observation is proposed to implement telecommunication services on any architecture. In the proposed method, a two-layered language is used; the STR service specification language and the STR/D supplementary specification language. STR specifies the terminal behavior which can be recognized from outside the telecommunication system. Supplementary specifications are described using STR/D to implement the STR rules. Telecommunication services, such as UPT (Universal Personal Telecommunication), are standardized for provision on a given functional model consisting of functional entities. Software for each functional entity is semiautomatically obtained from the two described specifications