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.
%0 Book Section
%1 giese_04_from
%A Giese, Martin
%A Heldal, Rogardt
%D 2004
%J 2004 - The Unified Modelling Language
%K 2004 uml
%P 197--211
%T From Informal to Formal Specifications in UML
%U http://www.springerlink.com/content/lny5re3jf9hja8xd
%X 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.
@incollection{giese_04_from,
abstract = {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.},
added-at = {2009-02-11T21:06:11.000+0100},
author = {Giese, Martin and Heldal, Rogardt},
biburl = {https://www.bibsonomy.org/bibtex/2d4001586202b4be40933fd3b8e36fb9d/leonardo},
citeulike-article-id = {2628002},
interhash = {2e77605e86fb93a7f9b97127c3cf37d2},
intrahash = {d4001586202b4be40933fd3b8e36fb9d},
journal = {2004 - The Unified Modelling Language},
keywords = {2004 uml},
pages = {197--211},
posted-at = {2008-04-03 22:49:17},
priority = {2},
timestamp = {2009-02-11T21:06:11.000+0100},
title = {From Informal to Formal Specifications in UML},
url = {http://www.springerlink.com/content/lny5re3jf9hja8xd},
year = 2004
}