Formalizing UML Model Metrics Using Z Language
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 WuABSTRACT
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 verificationCITE 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
-
Power Systems Computation
-
Internet of Things (IoT) and Engineering Applications
-
Computing, Performance and Communication Systems
-
Journal of Artificial Intelligence Practice
-
Journal of Network Computing and Applications
-
Journal of Web Systems and Applications
-
Journal of Electrotechnology, Electrical Engineering and Management
-
Journal of Wireless Sensors and Sensor Networks
-
Journal of Image Processing Theory and Applications
-
Mobile Computing and Networking
-
Vehicle Power and Propulsion
-
Frontiers in Computer Vision and Pattern Recognition
-
Knowledge Discovery and Data Mining Letters
-
Big Data Analysis and Cloud Computing
-
Electrical Insulation and Dielectrics
-
Crypto and Information Security
-
Journal of Neural Information Processing
-
Collaborative and Social Computing
-
International Journal of Network and Communication Technology
-
File and Storage Technologies
-
Frontiers in Genetic and Evolutionary Computation
-
Optical Network Design and Modeling
-
Journal of Virtual Reality and Artificial Intelligence
-
Natural Language Processing and Speech Recognition
-
Journal of High-Voltage
-
Programming Languages and Operating Systems
-
Visual Communications and Image Processing
-
Journal of Systems Analysis and Integration
-
Knowledge Representation and Automated Reasoning
-
Review of Information Display Techniques
-
Data and Knowledge Engineering
-
Journal of Database Systems
-
Journal of Cluster and Grid Computing
-
Cloud and Service-Oriented Computing
-
Journal of Networking, Architecture and Storage
-
Journal of Software Engineering and Metrics
-
Visualization Techniques
-
Journal of Parallel and Distributed Processing
-
Journal of Modeling, Analysis and Simulation
-
Journal of Privacy, Trust and Security
-
Journal of Cognitive Informatics and Cognitive Computing
-
Lecture Notes on Wireless Networks and Communications
-
International Journal of Computer and Communications Security
-
Journal of Multimedia Techniques
-
Automation and Machine Learning
-
Computational Linguistics Letters
-
Journal of Computer Architecture and Design
-
Journal of Ubiquitous and Future Networks