DocumentCode
2624528
Title
A Scenario Based Modeling Method for Component-Based Embedded Software
Author
Chuanhui, Liu ; Mei, Rong ; Guangquan, Zhang
Author_Institution
Soochow Univ., Suzhou
fYear
2007
fDate
21-23 Nov. 2007
Firstpage
343
Lastpage
346
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Convergence Information Technology, 2007. International Conference on
Conference_Location
Gyeongju
Print_ISBN
0-7695-3038-9
Type
conf
DOI
10.1109/ICCIT.2007.163
Filename
4420283
Link To Document