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

OCL

software engineering

UML

Författare

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

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1007/978-3-540-30187-5_15

ISBN

3540233075