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
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;
Conference_Titel :
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location :
Stuttgart
Print_ISBN :
978-1-4244-2264-7
DOI :
10.1109/FDL.2008.4641448