Skip to main content
SpringerLink
Log in

From use cases to test cases via meta model-based reasoning

Position paper: work in progress

  • Original Paper
  • Published:
Innovations in Systems and Software Engineering Aims and scope Submit manuscript

Abstract

In Use cases considered harmful, Simons has analyzed the logical weaknesses of the UML use case notation and has recommended to “fix the faulty notion of dependency” (Simons: Use cases considered harmful. 29th Conference on Techn. of OO Lang. and Syst., pp 194–203, 1999). The project sketched in this position paper is inspired by Simons’ critique. The main contribution of this paper is a detailed meta model of possible relations between use cases. Later in the project this meta model is then to be formalized in a natural deduction calculus which shall be implemented in the Prolog. As a result of such formalization a use case specification can be queried for inconsistencies as well as for test cases which must be observable after a software system is implemented based on such a use case specification. Software tool support for this method is also under development.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Back RJ, Petre L, Paltor IP (1999) Formalizing UML use cases in the refinement calculus. Technical Report TUCS-TR-279

  2. Bisova V, Richta K (2000) Transformation of UML Models into XML. In: ADBIS-DASFAA symposium, pp 33–45

  3. den Haan N (1995) Investigations into the application of deontic logic. LNCS 897

  4. Genilloud G, Frank WF (2004) Use case concepts using a clear, consistent, concise ontology. J Object Technol 4/6. Special Issue: Use case modeling at UML-2004

  5. Kolaczek G (2002) Application of deontic logic on role-based access control. J Appl Math Comp Sci

  6. Kotb Y, Katayama T (2006) A novel technique to verify UML use case diagrams. IASTED Conf Softw Eng 300–305

  7. Kulak D, Guiney E (2004) Use cases—requirements in context, 2nd edn. Addison Wesley/Pearson, Reading

    Google Scholar 

  8. Li L (2000) Translating use cases to sequence diagrams. In: Proceedings of ASE, pp 293–296

  9. Maibaum T, Khosla S, Jeremaes P (1986) A modal action logic for requirements specification. Softw Eng 86

  10. Metz P (2004) Revising and unifying the use case textual and graphical worlds. PhD Thesis, promoted by W. Weber and J. O’Brien, Department of Computing, Cork Institute of Technology, Ireland

  11. Routledge N, Bird L, Goodchild A (2002) UML and XML schema. In: Proceedings of 13th Australian DB conference, pp 157–166

  12. Ryndina K, Kritzinger P (2005) Analysis of structured use case models through model checking. S Afr Comput J 35: 84–96

    Google Scholar 

  13. Segerberg K (1982) A deontic logic of action. Stud Logica 41: 269–282

    Article  MATH  MathSciNet  Google Scholar 

  14. Simons A (1999) Use cases considered harmful. In: 29th Conference on Technology of OO Lang. and Syst., pp 194–203

  15. Snook C, Butler M (2008) UML-B and Event-B—an integration of languages and tools. In: Proceedings of IASTED international conference on software engineer (SE2008), February, Innsbruck (A)

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Universiteit van Pretoria, Pretoria, Republic of South Africa

    Stefan Gruner

Authors
  1. Stefan Gruner
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stefan Gruner.

Additional information

This project is supported by Formal Methods Europe as well as the Research and Development Programme of the University of Pretoria.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Gruner, S. From use cases to test cases via meta model-based reasoning. Innovations Syst Softw Eng 4, 223–231 (2008). https://doi.org/10.1007/s11334-008-0058-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11334-008-0058-z

Keywords

Search

Navigation