Use this URL to cite or link to this record in EThOS: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490459
Title: Developing VDM++ operations from UML diagrams
Author: Mit, Edwin
ISNI:       0000 0001 3411 2121
Awarding Body: University of Salford
Current Institution: University of Salford
Date of Award: 2008
Availability of Full Text:
Full text unavailable from EThOS. Restricted access.
Please contact the current institution’s library for further details.
Abstract:
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.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.490459  DOI: Not available
Share: