Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 16 / Issue 17

available in:   PDF (417 kB) PS (664 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-016-17-2435


Toward an Integrated Tool Environment for Static Analysis of UML Class and Sequence Models

Wuliang Sun (Colorado State University, USA)

Eunjee Song (Baylor University, USA)

Paul C. Grabow (Baylor University, USA)

Devon M. Simmonds (University of North Carolina at Wilmington, USA)

Abstract: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) tool supports verification of invariants, preconditions, and postconditions 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 requires one to specify 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, you would create a model with OCL constraints using a modeling tool such as the IBM Rational Software Architect (RSA) and then use the USE for the model verification. This approach, however, requires a manual transformation between two different specification formats, which diminishes advantage of using tools for model-level verification. In this paper, we describe our own implementation of a specification transformation engine based on the Model-Driven Architecture (MDA) framework. Our approach currently supports automatic tool-level transformations to USE from UML modeling tools built on the Eclipse-based Modeling Framework (EMF).

Keywords: MDA, Model Analysis, OCL, USE, XMI, model transformation

Categories: D.2.1, D.2.2, D.2.4