DocumentCode :
2173120
Title :
A functional decomposition modeling for switching software
Author :
Kang, Byeongdo ; Kicheol Deon ; Song, Young-Kee ; Hyeong Ho Bee
Author_Institution :
Switching Technol. Div., ETRI, Taejon, South Korea
fYear :
1996
fDate :
5-7 May 1996
Firstpage :
504
Abstract :
We present, in this paper, a specification description method which can describe the concepts of concurrent tasks, abstractions, and finite state machines to represent the behavioral aspects of switching software systems. The hierarchical functional decomposition modeling method emphasizes the decomposition of a real-time system into concurrent tasks and defines the interfaces between these tasks. The hierarchical functional decomposition modeling approach has some strengths. The first one is that the use of data flow and control flow diagrams can assist in understanding the system. Second, it emphasises the use of state transition diagrams, particularly important in the design of real-time systems
Keywords :
data flow graphs; finite state machines; formal specification; functional analysis; hierarchical systems; real-time systems; software maintenance; telecommunication computing; telecommunication switching; abstractions; behavioral aspects; concurrent tasks; control flow diagrams; data flow diagram; design; finite state machines; functional decomposition modeling; hierarchical functional decomposition modeling method; real-time system; specification description method; state transition diagrams; switching software; Application software; Automata; Control systems; Software architecture; Software design; Software maintenance; Software systems; Source coding; Switches; Switching systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Communication Technology Proceedings, 1996. ICCT'96., 1996 International Conference on
Conference_Location :
Beijing
Print_ISBN :
0-7803-2916-3
Type :
conf
DOI :
10.1109/ICCT.1996.545232
Filename :
545232
Link To Document :
بازگشت