Assessing the impact of coupling on the understandability and modifiability of OCL expressions within UML/OCL combined models

Diagram-based UML notation is limited in its expressiveness thus producing a model that would be severely underspecified. The flaws in the limitation of the UML diagrams are solved by specifying UML/OCL combined models, OCL being an essential add-on to the UML diagrams. Aware of the importance of building precise models, the main goal of this paper is to carefully describe a family of experiments we have undertaken to ascertain whether any relationship exists between object coupling (defined through metrics related to navigations and collection operations) and two maintainability sub-characteristics: understandability and modifiability of OCL expressions. If such a relationship exists, we will have found early indicators of the understandability and modifiability of OCL expressions. Even though the results obtained show empirical evidence that such a relationship exists, they must be considered as preliminaries. Further validation is needed to be performed to strengthen the conclusions and external validity

[1]  Jos Warmer,et al.  The object constraint language , 1998 .

[2]  Norman F. Schneidewind,et al.  Methodology For Validating Software Metrics , 1992, IEEE Trans. Software Eng..

[3]  Claes Wohlin,et al.  Experimentation in software engineering: an introduction , 2000 .

[4]  T. Klemola,et al.  A Cognitive Model for Complexity Metrics , 2000 .

[5]  Victor R. Basili,et al.  The TAME Project: Towards Improvement-Oriented Software Environments , 1988, IEEE Trans. Software Eng..

[6]  Lionel C. Briand,et al.  A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs , 2001, IEEE Trans. Software Eng..

[7]  Paolo Donzelli,et al.  Production and Maintenance of Goal-Oriented Software Measurement Models , 2000, Int. J. Softw. Eng. Knowl. Eng..

[8]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[9]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[10]  Brian Henderson-Sellers,et al.  Application of Cognitive Complexity Metrics to Object-Oriented Programs , 1994, Journal of object-oriented programming.

[11]  Brian Henderson-Sellers,et al.  A conceptual model of cognitive complexity of elements of the programming process , 1995, Inf. Softw. Technol..

[12]  Charles Ashbacher,et al.  The Object Constraint Language Second Edition, Getting Your Models Ready for MDA, by Jos Warmer and Anneke Kleppe. , 2003 .

[13]  Mario Piattini,et al.  MEASURING OCL EXPRESSIONS: AN APPROACH BASED ON COGNITIVE TECHNIQUES , 2005 .

[14]  Michele Marchesi OOA metrics for the Unified Modeling Language , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[15]  Egon Berghout,et al.  The Goal/Question/Metric method: a practical guide for quality improvement of software development , 1999 .

[16]  Khaled El-Emam,et al.  Object-oriented metrics: A review of theory and practice , 2002 .

[17]  Stefan Biffl,et al.  A Family of Experiments to Investigate the Influence of Context on the Effect of Inspection Techniques , 2002 .

[18]  Deborah A. Boehm-Davis,et al.  Empirical Studies of Programmers: Sixth Workshop , 1996 .

[19]  Forrest Shull,et al.  Building Knowledge through Families of Experiments , 1999, IEEE Trans. Software Eng..

[20]  Mario Piattini,et al.  Method for Obtaining Correct Metrics , 2001, ICEIS.

[21]  Paolo Donzelli,et al.  99-19 Production and Maintenance of Software Measurement Models , 1998 .

[22]  Shari Lawrence Pfleeger,et al.  Software Metrics : A Rigorous and Practical Approach , 1998 .

[23]  Shari Lawrence Pfleeger,et al.  Towards a Framework for Software Measurement Validation , 1995, IEEE Trans. Software Eng..

[24]  Massimiliano Di Penta,et al.  A controlled experiment on the impact of the object constraint language in UML-based maintenance , 2004, 20th IEEE International Conference on Software Maintenance, 2004. Proceedings..

[25]  Martin Loomes,et al.  Applying software metrics to formal specifications: a cognitive approach , 1998, Proceedings Fifth International Software Metrics Symposium. Metrics (Cat. No.98TB100262).

[26]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[27]  James Miller,et al.  Applying meta-analytical procedures to software engineering experiments , 2000, J. Syst. Softw..

[28]  Martin Giese,et al.  From Informal to Formal Specifications in UML , 2004, UML.