Title :
Towards a behavioral description of ODL
Author :
Fischbeck, Nils ; Fischer, Joachim ; Born, Marc ; Hoffmann, Andreas ; Winkler, Mario
Author_Institution :
Dept. of Comput. Sci., Humboldt-Univ., Berlin, Germany
Abstract :
The paper presents a methodology to provide behavioral description starting with TINA ODL. It defines a mapping from TINA ODL to the ITU-T specification and description language SDL. SDL guarantees a formal and executable semantics for behavior and a smooth development process from computational viewpoint to engineering viewpoint. Experience in using this technology for implementing parts of the TINA service architecture is provided
Keywords :
information networks; parallel languages; specification languages; systems analysis; ITU-T specification and description language; SDL; TINA ODL; TINA service architecture; behavioral description; computational viewpoint; engineering viewpoint; executable semantics; smooth development process; Automata; Computer science; Information resources; Object oriented modeling; Programming profession; Proposals; Quality of service; Standardization; Telecommunication computing; Timing;
Conference_Titel :
Global Convergence of Telecommunications and Distributed Object Computing, 1997. Proceedings., TINA 97
Conference_Location :
Santiago
Print_ISBN :
0-8186-8335-X
DOI :
10.1109/TINA.1997.660740