Skip to Main Content
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.
Date of Conference: 21-23 Nov. 2007