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

Simple item page
dc.contributor.advisorSong, Eunjee.
dc.contributor.authorSun, Wuliang.
dc.contributor.departmentComputer Science.en
dc.contributor.otherBaylor University. Dept. of Computer Science.en
dc.date.accessioned2010-06-23T12:33:42Z
dc.date.available2010-06-23T12:33:42Z
dc.date.copyright2010-05
dc.date.issued2010-06-23T12:33:42Z
dc.descriptionIncludes bibliographical references (p. ).en
dc.description.abstractThere 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.description.degreeM.S.en
dc.description.statementofresponsibilityby Wuliang Sun.en
dc.format.extent611608 bytes
dc.format.extent4662735 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2104/7976
dc.language.isoen_USen
dc.rightsBaylor 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 librarywebmaster@baylor.edu for inquiries about permission.en
dc.rights.accessrightsWorldwide access.en
dc.rights.accessrightsAccess changed 3/18/13.
dc.subjectModel transformation.en
dc.subjectSoftware engineering.en
dc.titleAn OCL-based verification approach to analyzing static properties of a UML model.en
dc.typeThesisen

Files

Original bundle

Now showing 1 - 2 of 2
Thumbnail Image
Name:
Wuliang_Sun_masters.pdf
Size:
4.45 MB
Format:
Adobe Portable Document Format
Description:
Thesis
Download
No Thumbnail Available
Name:
Wuliang_Sun_permissions.pdf
Size:
597.27 KB
Format:
Adobe Portable Document Format
Description:
Permissions Form
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.95 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Electronic Theses and Dissertations
Theses/Dissertations - Computer Science