CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

From Informal to Formal Specifications in UML

Martin Giese (Institutionen för datavetenskap, Formella metoder) ; Rogardt Heldal (Institutionen för datavetenskap, Software Engineering ; Institutionen för datavetenskap, ProSec)
Lecture Notes in Computer Science (0302-9743). Vol. 3273 (2004), p. 197-211.
[Artikel, refereegranskad vetenskaplig]

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.

Nyckelord: software engineering, formal methods, UML, OCL


Proceedings paper in: 7th International Conference on the Unified Modeling Language (UML 2004), Lisbon, PORTUGAL. OCT 11-15, 2004



Denna post skapades 2007-03-08. Senast ändrad 2013-06-19.
CPL Pubid: 1880

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)


Institutioner (Chalmers)

Institutionen för datavetenskap, Formella metoder (2002-2004)
Institutionen för datavetenskap, Software Engineering (2002-2004)
Institutionen för datavetenskap, ProSec (2002-2004)

Ämnesområden

Information Technology

Chalmers infrastruktur