Towards a formalization for COM part i: the primitive calculus

ABSTRACT

We introduce in this paper a typed calculus intended to capture the execution model of COM. The innovation of this calculus is to model very low-level aspects of the COM framework, specifically the notion of interface pointers. This is handled by specifying an allocation semantics for the calculus, thereby modeling heap allocation of interfaces explicitly. Having an explicit way of talking about interface pointers allows us to model in a reasonable way the notions of interface sharing and object identity. We introduce a type system that can be used to disambiguate between specification and implementation of interfaces. The type system moreover can capture a notion of COM conformance, that is, the legality of COM components. We discuss extensions of the calculus to handle subtyping of interfaces, dynamic interface negotiation and aggregation.

REFERENCES

• 1: David Chappell, Understanding ActiveX and OLE: a guide for developers and managers, Microsoft Press, Redmond, WA, 1996
• 2: R. Ibrahim , C. Szyperski, The COMEL Language, University of Queensland, 1997
• 3: R. Ibrahim and C. Szyperski. Can Component Object Model (COM) be formalized? --- the formal semantics of the COMEL language. Work-In-Progress, IRW/FMP'98. Also appears as Technical Report TR-CS-98-09, The Australian National University, 1998.
• 4: Microsoft Corporation and Digital Equipment Corporation. The Component Object Model Specification. Draft version 0.9, available from http://www.microsoft.com/com, 1995.
• 5: Greg Morrisett , Matthias Felleisen , Robert Harper, Abstract models of memory management, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.66-77, June 26-28, 1995, La Jolla, California, United States [doi>10.1145/224164.224182]
• 6: G. Morrisett , R. Harper, Semantics of memory management for polymorphic languages, Higher order operational techniques in semantics, Cambridge University Press, New York, NY, 1999
• 7: Riccardo Pucella, The Design of a COM-Oriented Module System, Proceedings of the Joint Modular Languages Conference on Modular Programming Languages, p.104-118, September 06-08, 2000
• 8: R. Reussner. Dynamic types for software components. In Companion of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '99), 1999.
• 9: R. Reussner and D. Heuzeroth. A Meta-Protocol and Type system for the Dynamic Coupling of Binary Components. In Proceedings of the OOPSLA'99 Workshop on Object Oriented Reflection and Software Engineering, 1999.
• 10: Dale Rogerson, Inside COM, Microsoft Press, Redmond, WA, 1996
• 11: João Costa Seco , Luís Caires, A Basic Model of Typed Components, Proceedings of the 14th European Conference on Object-Oriented Programming, p.108-128, June 12-16, 2000
• 12: Frederick Smith , David Walker , J. Gregory Morrisett, Alias Types, Proceedings of the 9th European Symposium on Programming Languages and Systems, p.366-381, April 02, 2000
• 13: J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992
• 14: Kevin J. Sullivan , Mark Marchukov, Interface Negotiation and Efficient Reuse: A Relaxed Theory of the Component Object Model, University of Virginia, Charlottesville, VA, 1997
• 15: Kevin J. Sullivan , Mark Marchukov , John Socha, Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model, IEEE Transactions on Software Engineering, v.25 n.4, p.584-599, July 1999 [doi>10.1109/32.799960]
• 16: C. Szyperski. Component Software. Addison Wesley, 1997.
• 17: David Walker , J. Gregory Morrisett, Alias Types for Recursive Data Structures, Selected papers from the Third International Workshop on Types in Compilation, p.177-206, September 21, 2000
• 18: Andrew K. Wright , Matthias Felleisen, A syntactic approach to type soundness, Information and Computation, v.115 n.1, p.38-94, Nov. 15, 1994 [doi>10.1006/inco.1994.1093]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Modules, packages

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Applicative (functional) languages; Object-oriented languages

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs

General Terms:
Design, Languages

Keywords:
COM, calculus, components, formalism, interfaces, type system