Abstract
dc:description.abstractObject Constraint Language (OCL) is part of the Unified Modeling Language (UML) specification and can be used to enforce constraints on the attributes or methods of a class. It would greatly help the software developers if such non-executable OCL constraints specified in a UML model could be enforced on the executable code generated from the model. This thesis discusses the concepts, ideas and the approach in transforming a model developed in the Rational Rose software with OCL constraints into Java code shells, complete with fragments of code to detect the run-time violations of the constraints. The implementation and testing of a prototype tool that incorporates these ideas is also discussed.
Degree
thesis:*- Name thesis:degree_name
- Master of Science
- Level thesis:degree_level
- Masters
- Discipline thesis:degree_discipline
- Computer Science
- Grantor dc:publisher
- Texas A&M University
- Year dc:date.issued
- 2004
Author and committee
dc:creator, dc:contributor.*- Author dc:creator
-
- Gurunath, Pramod
- Advisor dc:contributor.advisor
-
- Volz, Richard
- Committee members dc:contributor.committeemember
-
- Butler-Purry, Karen L.
- Lively, William M.
Subjects
dc:subject × 1Rights
- Language dc:language.iso
- en_US
Identifiers
dc:identifier.*- Handle dc:identifier.uri
- https://hdl.handle.net/1969.1/1281