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....

• Type: Conference
• Year: 2009
• Where: ER
• Authors: Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M. Simmonds
• Keywords: Database, ER 2009, Model, Modeling Tool, USE Tool