Abstract
Formal methods and metamodeling are promising ways to cope with the ever increasing size and complexity of modern software systems: the former should provide the means to write precise, unambiguous, and provably consistent descriptions of system properties, while the latter should lead to a better understanding of the software development process through metamodeling the descriptions produced in the course of the software development process. In this paper, we propose to use both formal methods and metamodeling, in order to combine their advantages. A generic metamodel of object-oriented systems is presented and specified, using the Z formal notation. Other known models may easily be mapped to our model, as demonstrated on the OMG core object model. The formal notation facilitates the specification of various constraints and consistency checks, a number of which are shown in detail.
on leave from University of Belgrade, Yugoslavia.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
R. G. G. Cattell. Object Data Management, revised edition. Addison-Wesley, Reading, MA, 1994.
R. ElMasri and S. B. Navathe. Fundamentals of Database Systems, 2nd edition. Benjamin/Cummings, Redwood City, CA, 1995.
A. Hall. Seven myths of formal methods. IEEE Software, 7(5):11–19, Sept. 1990.
I. Hayes, editor. Specification Case Studies, 2nd edition. Prentice Hall, Hemel Hempstead, UK, 1993.
I. S. C. Houston and M. B. Josephs. A formal description of the OMG's Core Object Model and the meaning of compatible extension. Computer Standards & Interfaces, 17(5–6):553–558,1995.
B. Meyer. Object-Oriented Software Construction. Prentice Hall, Hemel Hempstead, UK, 1988.
V Miŝić and S. Moser. From metamodels to metrics: a formal object-oriented approach. Submitted to TOOLS Asia Conference, Beijing, China, Sept. 1997.
S. Moser. Measurement and Estimation of Software and Software Processes. PhD Thesis, University of Berne, Switzerland, Nov. 1996.
S. Moser and V Miŝić. Measuring class coupling and cohesion: a formal metamodel approach. Submitted to Asia Pacific Software Engineering Conference APSEC'97, Hong Kong, Dec. 1997.
The common object request broker: Architecture and specification, revision 2.0. OMG Document 91.12.1, Object Management Group, July 1995.
R. M. Soley, editor. Object Management Architecture Guide, Revision 3.0, 3rd edition. John Wiley and Sons, New York, June 1995.
R. M. Soley and W. Kent. The OMG object model. In W. Kim, editor, Modern Database System: The Object Model, Interoperability, and Beyond, chapter 2, pages 18–41. ACM Press and Addison-Wesley, 1995.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall, Hemel Hempstead, UK, 1989.
Y. Wand and R. Weber. An ontological model of an information system. IEEE Transactions on Software Engineering, 16(11):1282–1292, Nov. 1990.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Miŝic, V.B., Mosere, S. (1997). Formal approach to metamodeling: A generic object-oriented perspective. In: Embley, D.W., Goldstein, R.C. (eds) Conceptual Modeling — ER '97. ER 1997. Lecture Notes in Computer Science, vol 1331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63699-4_20
Download citation
DOI: https://doi.org/10.1007/3-540-63699-4_20
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63699-1
Online ISBN: 978-3-540-69630-8
eBook Packages: Springer Book Archive