The Unified Modelling Language (UML) is widely accepted as the standard notation for Object-Oriented methods. However, one of its major problem is its lack of formal semantics. The development of the Object Constraints Language (OCL) in the last few years seems to be the answer to this problem, but some argue that it is difficult to use. In addition, inadequate information and lack of precise definitions of UML models [31] are the two main reasons why current existing 00 supporting tools do not emphasis on the standard input syntax or format used with UML models. In this thesis, the author attempts to provide answers to some of these questions by developing a set of transformation rules from UML to ) VDM++ and then develops an architecture for a CASE tool to support the transformation process.
| Identifer | oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:490459 |
| Date | January 2008 |
| Creators | Mit, Edwin |
| Publisher | University of Salford |
| Source Sets | Ethos UK |
| Detected Language | English |
| Type | Electronic Thesis or Dissertation |
Page generated in 0.002 seconds