Advertisement

Evaluating and Debugging OCL Expressions in UML Models

  • Jens Brüning
  • Martin Gogolla
  • Lars Hamann
  • Mirco Kuhlmann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7305)

Abstract

This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation pre- and postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and debug the validity of an expected theorem (an OCL constraint) within a given test case (a state model in the form of a UML object diagram).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [GHMGB07]
    Graf, P., Hübner, M., Müller-Glaser, K.D., Becker, J.: A Graphical Model-Level Debugger for Heterogenous Reconfigurable Architectures. In: Bertels, K., Najjar, W.A., van Genderen, A.J., Vassiliadis, S. (eds.) FPL, pp. 722–725. IEEE (2007)Google Scholar
  2. [GKH09]
    Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, Independence and Consequences in UML and OCL Models. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 90–104. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. [KSWR09]
    Kusel, A., Schwinger, W., Wimmer, M., Retschitzegger, W.: Common Pitfalls of using QVT Relations - Graphical Debugging as Remedy. In: ICECCS, pp. 329–334. IEEE Computer Society (2009)Google Scholar
  4. [MS08]
    Mayer, W., Stumptner, M.: Evaluating Models for Model-Based Debugging. In: ASE, pp. 128–137. IEEE (2008)Google Scholar
  5. [RVM10]
    Riesco, A., Verdejo, A., Martí-Oliet, N.: A Complete Declarative Debugger for Maude. In: Johnson, M., Pavlovic, D. (eds.) AMAST 2010. LNCS, vol. 6486, pp. 216–225. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  6. [SSJ+03]
    Shlyakhter, I., Seater, R., Jackson, D., Sridharan, M., Taghdiri, M.: Debugging Overconstrained Declarative Models using Unsatisfiable Cores. In: ASE, pp. 94–105. IEEE Computer Society (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Jens Brüning
    • 1
  • Martin Gogolla
    • 2
  • Lars Hamann
    • 2
  • Mirco Kuhlmann
    • 2
  1. 1.University of RostockGermany
  2. 2.University of BremenGermany

Personalised recommendations