From Informal to Formal Specifications in UML
Journal article, 2004

In this paper, we consider a way of bridging informal and formal specification. Most projects have a need for an informal description of the requirements of the system which all people involved can understand. At the same time, there is a need to make some of the requirements more formal. We present a way to relate informal requirements, in form of use cases, to more formal specifications, written in the Object Constraint Language (OCL). Our approach gives the customers of software systems a way of guiding the development of formal specifications. Conversely, the formal specification can improve the informal understanding of the system by exposing gaps and ambiguities in the informal specification.

formal methods


software engineering



Martin Giese

Chalmers, Department of Computing Science, Formal Methods

Rogardt Heldal

Chalmers, Department of Computing Science, Software Engineering

Chalmers, Department of Computing Science, ProSec

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 3273 197-211

Subject Categories

Computer and Information Science





More information