• 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