• DocumentCode
    3042934
  • Title

    Generating MARTE allocation models from activity threads

  • Author

    Liehr, Andreas W. ; Rolfs, Heike S. ; Buchenrieder, Klaus J. ; Nageldinger, Ulrich

  • Author_Institution
    Inst. fur Tech. Inf., Univ. der Bundeswehr Munchen, Neubiberg
  • fYear
    2008
  • fDate
    23-25 Sept. 2008
  • Firstpage
    215
  • Lastpage
    220
  • Abstract
    UML and specialized profiles, such as MARTE, are established specification and modeling procedures in the system development process. While language-based system specification and resource modeling shortens the design cycle, the exploration of the design-space is time-consuming. Most expensive proves the generation of system models respectively the architectural alternatives for exploration. This work contributes a method that utilizes activity threads to reduce the effort, needed to build such a set. With this method, a group of system models, each representing one design alternative, can automatically be generated. Therefore, only one architecture model and one function model in combination with an activity thread is required. The proposed method is the first step towards automated comparison of the performance for design alternatives at an early stage in the development process.
  • Keywords
    Unified Modeling Language; formal specification; MARTE allocation models; UML; language-based system specification; resource modeling; specialized profiles; system development; Application software; Computational modeling; Computer architecture; Hardware; Human resource management; Power generation; Power system modeling; Resource management; Unified modeling language; Yarn;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
  • Conference_Location
    Stuttgart
  • Print_ISBN
    978-1-4244-2264-7
  • Type

    conf

  • DOI
    10.1109/FDL.2008.4641448
  • Filename
    4641448