Title :
A Scenario Based Modeling Method for Component-Based Embedded Software
Author :
Chuanhui, Liu ; Mei, Rong ; Guangquan, Zhang
Author_Institution :
Soochow Univ., Suzhou
Abstract :
The scenario-based specification and modeling techniques have been considered as the basic activities in modern software development .This paper considers the problem of designing component-based embedded software model based on timing scenario-based specifications. Firstly the formal model of UML sequence diagram is introduced, then the timing scenario-based specifications are specified by timed sequence diagram template(TSDT) which is a UML sequence diagram extended with a set of time interval between actions along the lifeline of the sequence diagram finally message passing automata is extended with time clocks, and based on timed sequence diagram template ,the design model of the component- based embedded software is constructed by the timed message passing automata(TMPA). we have connected the TSDT with the TMPA, so it is convenient to transform from the requirement specification model to the design model.
Keywords :
Unified Modeling Language; automata theory; diagrams; embedded systems; formal specification; message passing; object-oriented programming; sequences; UML sequence diagram; component-based embedded software model; message passing automata; requirement specification model; scenario-based modeling method; sequence diagram template; software development; timed message passing automata; timing scenario-based specification; Automata; Computer science; Embedded software; Mathematical model; Message passing; Programming; Software design; Software quality; Timing; Unified modeling language;
Conference_Titel :
Convergence Information Technology, 2007. International Conference on
Conference_Location :
Gyeongju
Print_ISBN :
0-7695-3038-9
DOI :
10.1109/ICCIT.2007.163