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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.R.: B-Book. Cambridge Univ. Press, Cambridge (1996)
Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., Hähnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Software and System Modeling, 3 (2004) (to appear)
Armour, F., Miller, G.: Advanced Use Case Modeling. Addison-Wesley, Reading (2001)
Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Reading (2001)
Constantine, L.L., Lockwood, L.A.D.: Structure and Style in Use Cases for User Interface Design. ch. 7, Object Technology, pp. 245–279. Addison-Wesley, Reading (2001)
Génova, G., Llorens, J., Quintana, V.: Digging into use case relationships. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 115–127. Springer, Heidelberg (2002)
Grieskamp, W., Lepper, M.: Using use cases in executable Z. In: ICFEM, pp. 111–120 (2000)
Hähnle, R., Johannisson, K., Ranta, A.: An authoring tool for informal and formal requirements specifications. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 233–248. Springer, Heidelberg (2002)
Isoda, S.: A critique of UML’s definition of the use-case class. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 280–294. Springer, Heidelberg (2003)
Jacobson, I., Christerson, M., Johnsson, P., Övergaard, G.: Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Reading (1992)
Laleau, R., Polack, F.: Coming and going from UML to B: A proposal to support traceability in rigorous IS development. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol. 2272, pp. 517–534. Springer, Heidelberg (2002)
Levy, B.N., Marcano, R., Souquières, J.: From requirements to formal specification using UML and B. In: International Conference in Computer Systems and Technologies, CompSysTech 2002, Sofia, Bulgaria (2002)
OMG. Unified Modeling Language Specification
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Object Technology. Addison-Wesley, Reading (1999)
Snook, C., Butler, M.: Verifying dynamic properties of UML models by translation to the B language. In: Proceedings UML 2000 WORKSHOP Dynamic Behaviour in UML Models: Semantic Questions, York (October 2000)
Stevens, P., Pooley, R.: Using UML: software engineering with objects and components. Object Technology Series. Addison-Wesley, Reading (2000), Updated edition for UML1.3: first published 1998
Warmer, J., Kleppe, A.: The Object Constraint Language. Object Technology. Addison-Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Giese, M., Heldal, R. (2004). From Informal to Formal Specifications in UML. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds) «UML» 2004 — The Unified Modeling Language. Modeling Languages and Applications. UML 2004. Lecture Notes in Computer Science, vol 3273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30187-5_15
Download citation
DOI: https://doi.org/10.1007/978-3-540-30187-5_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23307-7
Online ISBN: 978-3-540-30187-5
eBook Packages: Springer Book Archive