Use Case Maps as an Aid in the Construction of a Formal Specification

Cyrille Dongmo, John A. van der Poll

Abstract

A Use Case Map (UCM) is a scenario-based visual notation facilitating the requirements definition of complex systems. A UCM may be generated either from a set of informal requirements, or from use cases normally expressed in natural language. Natural languages are, however, inherently ambiguous and as a semi-formal notation, UCMs have the potential to bring more clarity into the functional description of a system. It may furthermore eliminate possible errors in the user requirements. The semi-formal notation of UCMs aims to show how things work generally, but is not suitable to reason formally about system behaviour. It is plausible, therefore, that the use of UCMs as an intermediate step may facilitate the construction of a formal specification. To this end this paper proposes a mechanism whereby a UCM may be translated into Object-Z.

References

  1. Buhr, R.J.A., Use Case Maps as Architectural Entities for Complex Systems. Transaction on Software Engineering, 1998: pp. 1131-1155.
  2. Buhr, R.J.A. and Caselman, R.S. Use Case Maps for Object-Oriented Systems. 1999, USA: Prentice Hall.
  3. Amyot, D., Use Case Maps: Quick Tutorial. 1999. http://jucmnav.softwareengineering.ca/ twiki/bin/view/UCM/VirLibTutorial99
  4. Amyot, D. and Mussbacher, G. URN: Toward a New Standard for the Visual Description of Requirements. E.Sherratt (Ed.) SAM 2002: pp. 21-37.
  5. De Bruin, H. and Van Vliet, H. Quality-Driven Software Architecture Composition. Journal of Systems and Software 2003, 66(3), pp. 269-284
  6. Amyot, D., Weiss, M. and Logrippo, L. UCM-Based Generation of Test Goals. Computer Networks, 2005, 49(5), pp. 643-660.
  7. Buhr, R.J.A., Understanding Macroscopic Behaviour Patterns in Object-Oriented Frameworks, with Use Case Maps. 1997. http://jucmnav.softwareengineering.ca/ twiki/bin/viewfile/UCM/VirLibUoof1997?rev=1.1;filename=uoof.pdf
  8. Anna, M., Advanced Steps with Standardized Languages in the Re-engineering Process. Computer Standards & Interfaces, 2008. 30(5): pp. 315-322.
  9. Kealey, J. and Amyot, D., Enhanced Use Case Map Traversal Semantics, in SDL: Design for Dependable Systems. 2007, Springer Berlin / Heidelberg, pp. 133-149.
  10. Potter, B., Sinclair, J and Till, D. An Introduction to Formal Specification and Z. Second ed. 1996: Prentice Hall International.
  11. Lightfoot, D., Formal Specification Using Z. Second ed. 2001: Palgrave.
  12. Sommerville, I., Software Engineering. Eighth ed. 2007: Addison-Wesley.
  13. O'Regan, G., Mathematical Approaches to Software Quality. 2006: Springer.
  14. Bowen, J., Formal Specification Documentation Using Z: A Case Study Approach. First ed. 1996: Thomson Computer Press.
  15. Duke, R. and Rose, G., Formal Object-Oriented Specification using Object-Z. Second ed. Cornerstones of Computing. R.B.Y.T. Hoare (Ed.) 2000.
  16. Taibi, F., Jacob, K.D. and Fouad, M.A., On Checking the Consistency of Object-Z Classes.ACM 2007, 32 (4). Available online.
  17. Smith, G., A Fully Abstract Semantics of Classes for Object-Z. Formal Aspect of Computing, 1995 Vol 7: pp. 289-313.
  18. Miga, A., Amyot, D., Bordeleau, F., Cameron, D., and Woodside, M., Deriving Message Sequence Charts from Use Case Maps Scenario Specifications. Tenth SDL Forum (SDL'01), 2001: pp. 268-287.
  19. Van der Poll, J.A. and Kotze, P., Enhancing the Established Strategy for Constructing a Z Specification. SACJ, 2005, No. 35: p. 118-131.
  20. Van Der Poll, J. A., Kotze, P., Seffah, A., Radhakrishnan, T. and Alsumait, A., Combining UCMs and Formal Methods for Representing and Checking the Validity of Scenarios as User Requirements. SAICSIT, 2003: pp. 111-113.
  21. Periyasamy, K. and Mathew, C., Mapping a Functional Specification to an Object-Oriented Specification in Software Re-engineering. ACM, 1996: pp. 24-33.
  22. Dorin, B. P. and Woodside, M., Software Performance Models from System Scenarios. Springer Berlin/ Heidelberg, 2002. 2324/2002: pp. 1-8.
Download


Paper Citation


in Harvard Style

Dongmo C. and van der Poll J. (2009). Use Case Maps as an Aid in the Construction of a Formal Specification . In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009) ISBN 978-989-8111-90-6, pages 3-12. DOI: 10.5220/0002195800030012


in Bibtex Style

@conference{msvveis09,
author={Cyrille Dongmo and John A. van der Poll},
title={Use Case Maps as an Aid in the Construction of a Formal Specification},
booktitle={Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)},
year={2009},
pages={3-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002195800030012},
isbn={978-989-8111-90-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2009)
TI - Use Case Maps as an Aid in the Construction of a Formal Specification
SN - 978-989-8111-90-6
AU - Dongmo C.
AU - van der Poll J.
PY - 2009
SP - 3
EP - 12
DO - 10.5220/0002195800030012