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)


Information Technology

Chalmers infrastruktur