Modelling microsoft COM using π-calculus

L.M.G. Feijs

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

Abstract

We use the p-calculus to model aspects of Microsoft’s COM architecture. The paper introduces certain aspects of COM, first using IDL and C++, and then using a sugared version of the p-calculus (with numbers and lists added). Most of the complexities arise in dynamic interface management. We explore using the reduction rules of the calculus to show that two components (a stack and stack-observer) do indeed connect to each other in the required manner.
Original languageEnglish
Title of host publicationFM'99 - Formal Methods (Proceedings World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999)
EditorsJ.M. Wing, J. Woodcock, J. Davies
Place of PublicationBerlin
PublisherSpringer
Pages1343-1363
Volume2
ISBN (Print)3-540-66588-9
DOIs
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
Volume1709
ISSN (Print)0302-9743

Cite this