Cart (Loading....) | Create Account
Close category search window
 

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.

The purchase and pricing options are temporarily unavailable. Please try again later.
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

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.