Foundations of the Unified Modeling Language

EVANS, A.S. and CLARK, T. (1997). Foundations of the Unified Modeling Language. In: DUKE, D. J. and EVANS, A.S., (eds.) Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, 14-15 July 1997. Electronic Workshops in Computing . Springer.

Full text not available from this repository.
Official URL:
Related URLs:


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
Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
Depositing User: Tony Clark
Date Deposited: 12 Apr 2016 13:45
Last Modified: 18 Mar 2021 18:16

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics