期刊名称：Journal of Theoretical and Applied Information Technology
印刷版ISSN：1992-8645
电子版ISSN：1817-3195
出版年度：2013
卷号：55
期号：1
出版社：Journal of Theoretical and Applied
摘要：The main target of this research is to provide a formal meta model for object-oriented systems. It provides a formal definition of the object-oriented concepts along with major consistency rules for object-oriented systems. This research is a contribution to the formalization of object-oriented systems. Other existing models fail to define the notion of virtual function and virtual class. In this article both concepts are specified in the proposed model and used to clarify the OO related concepts. To illustrate the expressiveness of the model a formal specification of the MOOD metric suite is provided using the model. The formal definition of the POF metric is successfully defined, providing one of the first Z formal specification for the POF metric thereof.
