Abstract
Objective: In this paper, we present a formalization of the definition of metrics to assess quality attributes of CORBA components and assemblies. The focus is on the formalization technique, rather than on the evaluation of the metrics themselves. Method: We represent a component assembly as an instantiation of the CORBA Component Model metamodel. The resulting meta-object diagram can then be traversed using Object Constraint Language clauses. With these clauses, we construct a formal and executable definition of the metrics. Results: We demonstrate the expressiveness of our technique by formally de fining metrics proposed informally by several authors on different aspects of components and assemblies’ quality attributes. Conclusion: Providing a formal and executable definition of metrics for CORBA components and assemblies is an enabling precondition to allow for independent scrutiny of such metrics, which is, in turn, essential to increase practitioners’ confidence on predictable quality attributes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Matena, V., Hapner, M.: Enterprise JavaBeans Specification 1.1, Sun MicroSystems, Inc. (1999)
OMG, CORBA Components - Version 3.0, Specification, Object Management Group Inc., formal/02-06-65 (June 2002)
OMG, UML 2.0 Infrastructure Final Adopted Specification, Object Management Group, Inc., ptc/03-09-15 (September 2003)
OMG, UML 2.0 Superstructure Final Adopted Specification, Object Management Group Inc., ptc/03-08-02 (August 2003)
OMG, UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanics, OMG Adopted Specification, Object Management Group Inc., ptc/04-09-01 (September 2004)
Crnkovic, I., Schmidt, H., Stafford, J.A., Wallnau, K.: 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. ACM SIGSOFT Software Engineering Notes 29(3), 1–7 (2004)
Wallnau, K.: Volume III: A Technology for Predictable Assembly from Certifiable Components, Technical Report, Carnegie Mellon, Software Engineering Institute, CMU/SEI-2003-TR-009 (April 2003)
Larsson, M.: Predicting Quality Attributes in Component-based Software Systems, PhD, Mälardalen University (2004)
Bertoa, M., Vallecillo, A.: Quality Attributes for COTS Components. In: Proceedings of the 6th International Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2002), Málaga, Spain (2002)
Simão, R.P.S., Belchior, A.D.: Quality Characteristics for Software Components: Hierarchy and Quality Guides. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality: Methods and Techniques, pp. 184–206. Springer, Heidelberg (2003)
McCabe, T.: A Complexity Measure. IEEE Transactions on Software Engineering 2(4), 308–320 (1976)
Halstead, M.: Elements of Software Science. In: Operating and Programming Systems, Elsevier Computer Science Library/North-Holland, New York (1977)
Goulão, M., Abreu, F.B.: Software Components Evaluation: an Overview. In: Proceedings of the 5a Conferência da APSI, Lisbon (2004)
Basili, V.R., Caldiera, G., Rombach, D.H.: Goal Question Metric Paradigm. In: Marciniak, J.J. (ed.) Encyclopedia of Software Engineering, pp. 469–476. John Wiley & Sons, Chichester (1994)
Richters, M.: A UML-based Specification Environment, University of Bremen (2001), http://www.db.informatik.uni-bremen.de/projects/USE
Gill, N.S., Grover, P.S.: Component-Based Measurement: Few Useful Guidelines. ACM SIGSOFT Software Engineering Notes 28(6), 4–4 (2003)
Sedigh-Ali, S., Ghafoor, A., Paul, R.A.: Software Engineering Metrics for COTS-Based Systems. IEEE Computer (2001)
Boxall, M.A.S., Araban, S.: Interface Metrics for Reusability Analysis of Components. In: Proceedings of the Australian Software Engineering Conference (ASWEC 2004), pp. 40–51. IEEE Computer Society, Melbourne (2004)
Gill, N.S., Grover, P.S.: Few Important Considerations for Deriving Interface Complexity Metric for Component-Based Software. Software Engineering Notes 29(2), 4–4 (2004)
Washizaki, H., Yamamoto, H., Fukazawa, Y.: A Metrics Suite for Measuring Reusability of Software Components. In: Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003). IEEE Computer Society, Sydney (2003)
Narasimhan, V.L., Hendradjaya, B.: A New Suite of Metrics for the Integration of Software Components. In: Proceedings of the The First International Workshop on Object Systems and Software Architectures (WOSSA 2004). The University of Adelaide, South Australia (2004)
Hoek, A.: v.d., Dincel, E., and Medvidovic, N. Using Service Utilization Metrics to Assess and Improve Product Line Architectures. In: Proceedings of the 9th IEEE International Software Metrics Symposium (Metrics 2003). IEEE Computer Society Press, Sydney (2003)
Goulão, M., Abreu, F.B.: Formalizing Metrics for COTS. In: Proceedings of the International Workshop on Models and Processess for the Evaluation of COTS Components (MPEC 2004) at ICSE 2004, pp. 37–40. IEE, Edimburgh (2004)
Goulão, M., Abreu, F.B.: Cross-Validation of a Component Metrics Suite. In: Proceedings of the IX Jornadas de Ingeniería del Software y Bases de Datos, Málaga, Spain (2004)
Abreu, F.B.: Using OCL to formalize object oriented metrics definitions, Technical Report, INESC, ES007/2001 (May 2001)
Baroni, A.L., Abreu, F.B.: Formalizing Object-Oriented Design Metrics upon the UML Meta-Model. In: Proceedings of the Brazilian Symposium on Software Engineering, Gramado - RS, Brazil (2002)
Baroni, A.L., Abreu, F.B.: A Formal Library for Aiding Metrics Extraction. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743. Springer, Heidelberg (2003)
Baroni, A.L., Calero, C., Piattini, M., Abreu, F.B.: A Formal Definition for Object-Relational Database Metrics. In: Proceedings of the 7th International Conference on Enterprise Information System, Miami, USA (2005)
Wang, N., Schmidt, D.C., O’Ryan, C.: Overview of the CORBA Component Model. In: Heineman, G.T., Councill, W.T. (eds.) Component-Based Software Engineering: Putting the Pieces Together, pp. 557–571. Addison-Wesley Publishing Company, Reading (2001)
Estublier, J., Favre, J.-M.: Component Models and Technology. In: Crnkovic, I., Larsson, M. (eds.) Building Reliable Component-Based Software Systems, pp. 57–86. Artech House (2002)
OMG, Meta Object Facility (MOF) Specification (Version 1.4), Object Management Group (April 2002)
Goulão, M.: OCL library for metrics collection in CBD using the CCM (2005), http://ctp.di.fct.unl.pt/QUASAR/resources/DataFiles/CCMEA.use
Miller, G.A.: The Magical Number Seven, Plus or Minus Two: Some limits in our Capacity for Processing Information. The Psychological Review 63, 81–97 (1956)
Goulão, M., Abreu, F.B.: Validação Cruzada de Métricas para Componentes. IEEE Transactions Latin America 3(1) (2005)
Goulão, M., Abreu, F.B.: Composition Assessment Metrics for CBSE. In: Proceedings of the 31st Euromicro Conference - Component-Based Software Engineering Track. IEEE Computer Society, Porto (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Goulão, M., Abreu, F.B.e. (2005). Formal Definition of Metrics Upon the CORBA Component Model. In: Reussner, R., Mayer, J., Stafford, J.A., Overhage, S., Becker, S., Schroeder, P.J. (eds) Quality of Software Architectures and Software Quality. QoSA SOQUA 2005 2005. Lecture Notes in Computer Science, vol 3712. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11558569_8
Download citation
DOI: https://doi.org/10.1007/11558569_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29033-9
Online ISBN: 978-3-540-32056-2
eBook Packages: Computer ScienceComputer Science (R0)