Foundations of the Unified Modeling Language.

Clark, Tony and Evans, Andy (1997) Foundations of the Unified Modeling Language. In: Proceedings of the 2nd BCS-FACS Northern Formal Methods. Duke, D.J. and Evans, Andy, eds. Electronic Workshops in Computing . Springer. . [Book Section]

Download (118kB) | Preview


Object-oriented analysis and design is an increasingly popular software development method. The Unified Modeling
Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks precisely defined semantics. This means that it is difficult to determine whether a design is consistent, whether a design modification is correct and whether a program correctly implements a design.
Formal methods provide the rigor which is lacking in object-oriented design notations. This provision is often
at the expense of clarity of exposition for the non-expert. Formal methods aim to use mathematical techniques in
order to allow software development activities to be precisely defined, checked and ultimately automated. This paper aims to present an overview of work being undertaken to provide (a sub-set of) the UML with formal semantics. The
semantics will facilitate the use of the UML in the software development process by allowing development steps to be defined and checked.

Item Type: Book Section
Additional Information: 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK. 14-15 July, 1997. Proceedings published in collaboration with the British Computer Society.
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments group
A. > School of Science and Technology > Computer Science > SensoLab group
Item ID: 6260
Depositing User: Devika Mohan
Date Deposited: 09 Jul 2010 08:09
Last Modified: 30 Nov 2022 03:17

Actions (login required)

View Item View Item


Activity Overview
6 month trend
6 month trend

Additional statistics are available via IRStats2.