Education, Science, Technology, Innovation and Life
Open Access
Sign In

Formalizing UML Model Metrics Using Z Language

Download as PDF

DOI: 10.23977/acss.2016.11006 | Downloads: 49 | Views: 6325

Author(s)

Fangjun Wu 1,2

Affiliation(s)

1 School of Information Technology, Jiangxi University of Finance and Economics, Nanchang, China
2 Jiangxi Key Laboratory of Data and Knowledge Engineering, Jiangxi University of Finance and Economics, Nanchang, China

Corresponding Author

Fangjun Wu

ABSTRACT

Till now, a large variety of researchers have carried out lots of efforts on object-oriented and UML model metrics from different views. They put forward numerous of metrics and carried out some series of theoretical and experimental verifications on understandability, analyzability, maintainability, fault-proneness, change-proneness and reuse. However, there is no formal semantic specification for UML model metrics, which may lead to potential semantic inconsistency and ambiguity. To solve this problem, this paper provided formalization for UML model metrics at the level of UML Meta models. This formalization can not only help people to understand the meaning of UML model metrics, but also can be used in the application domain of UML model metrics in a more rigorous way.

KEYWORDS

software measurement, object-oriented, UML class diagrams, Z language, empirical validation, theoretical verification

CITE THIS PAPER

Fangjun, W. (2016) Formalizing UML Model Metrics Using Z Language. Advances in Computer, Signals and Systems (2016) 1: 28-32.

REFERENCES

[1] S. Chidamber and C. Kemerer. A Metrics Suite for Object-oriented Design. IEEE Transactions on Software Engineering, Vol. 20, (1994), p. 476-493.
[2] F. B. Abreu. MOOD-metrics for object-oriented design. in: Proceedings of the 9th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (1994) October, New York.
[3] Jagdish Bansiya and Carl G. Davis. A hierarchical model for object-oriented design quality assement. IEEE Trans on Software Engineering, Vol. 28, no. 1, (2002), p. 4-17.
[4] M. Genero. Defining and Validating Metrics for Conceptual Models (PhD thesis), University of Castilla-La Mancha, Ciudad Real, (2002).
[5] Fangjun Wu. Which One is Better, Simple or Complex Metrics. Journal of Computer and Communications, Vol. 3, no. 11, (2015), p. 52-57.
[6] Fangjun Wu. Comparative Empirical Analysis of Software Network and CK Metrics: Implications for Pre- and Post-release Faults. Journal of Software, Vol. 9, no. 3, (2014), p. 541-552.
[7] F. B. Abreu. Using OCL to formalize object-oriented metrics definitions. Technical Report ES007/2001, INESC, Portugal, http://ctp.di.fct.unl.pt/QUASAR/, May 2001.
[8] A. L. Baroni and F. B. Abreu. Formalizing Object-Oriented Design Metrics upon the UML Meta-Model.  in: Proceedings of the Brazilian Symposium on Software Engineering (2002), Gramado-RS, Brazil.
[9] Aline Lucia Baroni and F. B. Abreu. An OCL-based formalization of the MOOSE metric suite. in: Proceedings of the 7th International ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (2003) July, Darmstadt, Germany.
[10] M. Goulão and F. B. Abreu. Formalizing metrics for COTS. in: Proceedings of ICSE Workshop on Models and Processes for the Evaluation of COTS Components (2004) May, Edinburgh, Scotland.
[11] Soon-Kyeong Kim and David Carrington. A Formal Mapping between UML Models and Object-Z Specifications. in: Proceedings of the First International Conference of Formal Specification and Development in Z and B (2000) August, York, UK.
[12] J. M. Spivey: The Z notation: a reference manual (2nd edition) (Prentice Hall, London, 1992).

Downloads: 11330
Visits: 240175

Sponsors, Associates, and Links


All published work is licensed under a Creative Commons Attribution 4.0 International License.

Copyright © 2016 - 2031 Clausius Scientific Press Inc. All Rights Reserved.