Notification:
We are currently experiencing intermittent issues impacting performance. We apologize for the inconvenience.
By Topic

Integrating analysis capabilities into the model driven engineering process

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Koycheva, E. ; Inst. of Autom., Tech. Univ. Dresden, Dresden, Germany ; Hennig, S. ; Braune, A.

The state-of-the-art object-oriented modeling language UML does not offer any possibilities for model based analysis of functional or non-functional properties of a future solution. Reasons therefore are the semi-formality of its specification, the fact that it is not an executable language (yet) as well as the existence of informational gaps in the data, required for the desired analysis. This disadvantage can be balanced out without losing a certain level of conformity at modeling time if the available models can be transformed into another domain, which is suitable for analysis purposes. Since UML is defined in a MOF manner a high level of conformance to the target domain can be achieved by defining the target model MOF-conformal, too. Thereby a high level of automation and universality of the transformation rules can be reached if the domains are specified on the highest abstract level as possible, i.e. on MOF architectural level M2, which represents their meta-models. For obtaining unambiguous results by the analysis the target domain of the transformation has to be a formal one. Generalized Nets as proven means for evaluation meet this requirement. Hence this paper represents the meta-model of the Generalized Nets in MOF manner. Thus models, based on UML and its lightweight extensions like the MARTE profile, can be converted in an analyzable domain. This approach, focusing on an evaluation and optimization in the early design phases, promises the considerable reduction of project costs and the prevention of time overruns.

Published in:

Intelligent Systems (IS), 2010 5th IEEE International Conference

Date of Conference:

7-9 July 2010