Formal approach to metamodeling: A generic object-oriented perspective

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1331, Issue , 1997, Pages 243-256

  Mišić, Vojislav B ^a,b   Moser, Simon ^c  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

^b UNIVERSITY OF BELGRADE   (Serbia)

^c SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE DESIGN;

CONSISTENCY CHECKS; FORMAL APPROACH; FORMAL NOTATIONS; OBJECT ORIENTED; OBJECT-ORIENTED SYSTEM; SOFTWARE DEVELOPMENT PROCESS; SOFTWARE SYSTEMS; SYSTEM PROPERTY;

FORMAL METHODS;

EID: 84948993522     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63699-4_20     Document Type: Conference Paper

References (14)

1. R. G. G. Cattell. Object Data Management, revised edition. Addison-Wesley, Reading, MA, 1994.
2. R. E1Masri and S. B. Navathe. Fundamentals of Database Systems, 2nd edition. Benjamin/Cummings, Redwood City, CA, 1995.
3. A. Hall. Seven myths of formal methods. IEEE Software, 7(5):11-19, Sept. 1990.
4. I. Hayes, editor. Specification Case Studies, 2nd edition. Prentice Hall, Hemel Hempstead, UK, 1993.
5. 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.
6. B. Meyer. Object-Oriented Software Construction. Prentice Hall, Hemel Hempstead, UK, 1988.
7. V. Mišič and S. Moser. From metamodels to metrics: a formal object-oriented approach. Submitted to TOOLS Asia Conference, Beijing, China, Sept. 1997.
8. S. Moser. Measurement and Estimation of Software and Software Processes. PhD Thesis, University of Berne, Switzerland, Nov. 1996.
9. S. Moser and V. Mišič. Measuring class coupling and cohesion: a formal metamodel approach. Submitted to Asia Pacific Software Engineering ConferenceAPSEC'97, Hong Kong, Dec. 1997.
10. The common object request broker: Architecture and specification, revision 2. 0. OMG Document 91. 12. 1, Object Management Group, July 1995.
11. R. M. Soley, editor. Object ManagementArchitecture Guide, Revision 3. 0, 3rd edition. John Wiley and Sons, New York, June 1995.
12. R. M. Soley and W. Kent. The OMG object model. In W. Kim, editor, Modern Database System: The Object Model, lnteroperability, and Beyond, chapter 2, pages 18-41. ACM Press and Addison-Wesley, 1995.
13. J. M. Spivey. The ZNotation: A Reference Manual. Prentice Hall, Hemel Hempstead, UK, 1989.
14. Y. Wand and R. Weber. An ontological model of an information system. IEEE Transactions on Software Engineering, 16(11):1282-1292, Nov. 1990.