Validating Metrics for OCL Expressions Expressed within UML/OCL models

Luis Reynoso, Marcela Genero, Mario Piattini


Measuring quality is the key to developing high-quality software, and it is widely acknowledged that quality assurance of software products must be guaranteed from the early stages of development, assessing through metrics the quality of early models such as UML diagrams. There exists several proposals of metrics to UML diagrams, such as class diagrams, use case diagrams, etc. But, even though the incorporation of OCL to UML diagrams improves software quality and software correctness, there are no metrics for OCL expressions. In a previous work we have defined and theoretically validated a set of metrics that can be applied to OCL expressions expressed within UML/OCL combined models. The main goal of this paper is to show how we carried out a controlled experiment to ascertain the empirical validity of the proposed metrics as early indicators of OCL expressions understandability and modifiability.


  1. J. Bansiya and C. G. Davis. A Hierarchical Model for Object-Oriented Design Quality Assessment, IEEE Trans. on Soft. Eng., Vol. 28 Nº 1, 2002, 4-17.
  2. V. R. Basili, and H. D. Rombach. The TAME project: towards improvement-oriented software environments. IEEE Trans. on Soft. Eng.. Vol. 14 Nº 6, 1998, 758-773.
  3. V. R. Basili, F. Shull and F. Lanubile. Building knowledge through families of experiments. IEEE Trans. on Soft. Eng., Vol. 25 Nº 4, 1999, 456-473.
  4. L. C. Briand L., C. Bunse and J. W. Daly. A Controlled Experiment for evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs. IEEE Trans. on Soft. Eng., Vol. 27 Nº 6, 2001, 513-530.
  5. L. C. Briand, S. Morasca, and V. R. Basili. Defining and Validating Measures for Objectbased High Level Design. IEEE Trans. on Soft. Eng. Vol. 25 Nº 5, 1999, 722-743.
  6. C. Briand, S. Morasca, and V. R. Basili. Property-based Soft. Eng. Measurement. IEEE Trans. on Soft. Eng., Vol. 22 Nº 1, January 1996, 68-86.
  7. L. C. Briand, S. Morasca and V. R. Basili. Response to: Comments on 'Property-Based Soft. Eng. Measurement': Refining the Additivity Properties. IEEE Trans. on Soft. Eng., Vol. 23 Nº 3, March 1997, 196-197.
  8. L. C. Briand. and J. Wüst. Modeling Development Effort in Object-Oriented Systems Using Design Properties. IEEE Trans. on Soft. Eng., Vol. 27 Nº 11, November 2001, 963-986.
  9. C. Calero, M. Piattini, and M. Genero. Method for Obtaining Correct Metrics. Proc. of the 3rd Int. Conf. on Enterprise and Information Systems (ICEIS2001), 2001, 779-784.
  10. S. N. Cant, B. Henderson-Sellers, and D. R. Jeffery. Application of Cognitive Complexity Metrics to Object-Oriented Programs. Journal of Object-Oriented Programming, Vol. 7 Nº 4, 1994, 52-63.
  11. S. N. Cant, D. R. Jeffery and B. Henderson-Seller. A Conceptual Model of Cognitive Complexity of Elements of the Programming Process. Information and Software Technology, Vol. 37 Nº 7, 1995, 351-362.
  12. G. Cantone, and P. Donzelli. Production and maintenance of software measurement models. Journal of Soft. Eng. and Knowledge Engineering, Vol. 5, 2000, 605-626.
  13. K. El-Eman. Object-Oriented Metrics: A Review of Theory and Practice. National Research Council Canada. Institute for Information Technology. March 2001.
  14. N. E. Fenton, and S. L. Pfleeger. Software Metrics: A Rigorous and Practical Approach. Chapman & Hall, London, 2nd Edition. International Thomson Publishing Inc. 1997.
  15. M. Genero. Defining and Validating Metrics for Conceptual Models, PhD Thesis, University of Castilla-La Mancha. 2002.
  16. R. Hennicker, H. Hussmann, and M. Bidoit. On the Precise Meaning of OCL Constraints. Tony Clark and Jos Warmer (eds), Advances in Object Modelling with the OCL, Springer, Berlin, LNCS 2263, 2001, 69-84.
  17. ISO/IEC 9126. Software Product Evaluation-Quality Characteristics and Guidelines for their Use. Geneva.
  18. B. Kitchenham, S. Pflegger, and N. Fenton. Towards a Framework for Software Measurement Validation. IEEE Transactions of Soft. Eng., Vol. 21 Nº 12, 1995, 929-944.
  19. T. Klemola. A Cognitive Model for Complexity Metrics. 4th Int. ECOOP Workshop on Quantitative Approaches in OO Soft. Eng.. France, 2000.
  20. Object Management Group. UML 2.0 OCL 2nd revised submission. OMG Document ad/2003-01-07. [On-line] Available:
  21. Object Management Group. UML Specification Version 1.5, OMG Document formal/03- 03-01. [On-line] Available:
  22. L. Reynoso, M. Genero and M. Piattini. Measuring OCL Expressions: An approach based on Cognitive Techniques. Piattini M., Genero M. and Calero C. (eds), Imperial College Press, UK (to appear), 2004.
  23. M. Richters. A Precise Approach to Validating UML Models and OCL Constraints. Biss Monographs Vol. 14. Gogolla, M., Kreowski, H.J., Krieg-Brückner, B., Peleska, J., Schlingloff, B.H. (eds.). Logos Verlag. Berlin, 2002.
  24. R. Van Solingen, and E. Berghout. The Goal/Question/Metric Method: A practical guide for quality improvement of software development. McGraw-Hill, January 1999.
  25. J. Warmer and A. Kleppe. The Object Constraint Language. Second Edition. Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Massachusetts, August 2003.
  26. C. Wohlin, P. Runeson, M. Höst, M. Ohlson, B. Regnell, and A. Wesslén. Experimentation in Soft. Eng.: An Introduction, Kluwer Academic Publishers, March 2000.

Paper Citation

in Harvard Style

Reynoso L., Genero M. and Piattini M. (2004). Validating Metrics for OCL Expressions Expressed within UML/OCL models . In Proceedings of the 1st International Workshop on Software Audits and Metrics - Volume 1: SAM, (ICEIS 2004) ISBN 972-8865-04-X, pages 59-68. DOI: 10.5220/0002687300590068

in Bibtex Style

author={Luis Reynoso and Marcela Genero and Mario Piattini},
title={Validating Metrics for OCL Expressions Expressed within UML/OCL models},
booktitle={Proceedings of the 1st International Workshop on Software Audits and Metrics - Volume 1: SAM, (ICEIS 2004)},

in EndNote Style

JO - Proceedings of the 1st International Workshop on Software Audits and Metrics - Volume 1: SAM, (ICEIS 2004)
TI - Validating Metrics for OCL Expressions Expressed within UML/OCL models
SN - 972-8865-04-X
AU - Reynoso L.
AU - Genero M.
AU - Piattini M.
PY - 2004
SP - 59
EP - 68
DO - 10.5220/0002687300590068