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
Link To Document