An OCL-based verification approach to analyzing static properties of a UML model.

DSpace/Manakin Repository

BEARdocs is currently undergoing a scheduled upgrade. We expect the upgrade to be completed no later than Monday, March 2nd, 2015. During this time you will be able to access existing documents, but will not be able to log in or submit new documents.

Show simple item record

dc.contributor.advisor Song, Eunjee. Sun, Wuliang.
dc.contributor.other Baylor University. Dept. of Computer Science. en 2010-05
dc.description.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), which is useful when checking critical properties. 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, 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 for the model verification. This approach, however, requires a manual transformation between two different specification formats, which diminishes the benefit of model-level verification. In this thesis, we describe our own implementation of a specification transformation engine based on the Model-Driven Architecture (MDA) framework. en
dc.rights Baylor University theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. Contact for inquiries about permission. en
dc.subject Model transformation. en
dc.subject Software engineering. en
dc.title An OCL-based verification approach to analyzing static properties of a UML model. en
dc.type Thesis en M.S. en
dc.rights.accessrights Worldwide access. en
dc.rights.accessrights Access changed 3/18/13.
dc.contributor.department Computer Science. en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search BEARdocs

Advanced Search


My Account