From Informal to Formal Specifications in UML
Artikel i vetenskaplig tidskrift, 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, Institutionen för datavetenskap, Formella metoder

Rogardt Heldal

Chalmers, Institutionen för datavetenskap, Software Engineering

Chalmers, Institutionen för datavetenskap, ProSec

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 3273 197-211


Data- och informationsvetenskap