Sciweavers

Share
ER
2009
Springer

XMI2USE: A Tool for Transforming XMI to USE Specifications

9 years 2 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/post conditions specified in the Object Constraint Language (OCL). Due to its animation and analysis power, it is useful when checking critical non-functional properties such as security policies. However, the USE tool requires one to specify (i.e., "write") a model using its own textual language and does not allow one to import any model specification files created by other UML modeling tools. Hence, to make the best use of existing UML tools, we often create a model with OCL constraints using a modeling tool such as the IBM Rational Software Architect (RSA) and then use the USE tool for model validation. This approach, however, requires a manual transformation between the specifications of two different tool formats, which is error-prone and diminishes the benefit of automated modellevel validations....
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M.
Added 16 Aug 2010
Updated 16 Aug 2010
Type Conference
Year 2009
Where ER
Authors Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds
Comments (0)
books