Abstract
We use the π-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 π-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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Milner, R.: Communication and concurrency, Prentice Hall (1989)
Bergstra, J.A., Klop, J.W.: Process algebra for synchronous communication. Information and Computation, 60(1/3):109–137 (1984)
Bolognesi, T., Brinksma, E.: Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, 14, (1987) 25–59
Mauw, S., Veltink, G.J. (Eds.): Algebraic specification of communication protocols, Cambridge Tracts in Theoretical Comp. Sc. 36, CUP (1993)
CCITT. Specification and Description Language (SDL), Rec. Z.100
CCITT. Message Sequence Chart (MSC), Rec. Z. 120, Study Group X (1996)
Szyperski, C.: Component Software, Beyond Object-oriented Programming, Addisson Wesley,0-201-17888-5
Orfali, R., Harkey, D., Edwards, J.: The essential distributed objects survival guide, John Wiley & Sons, Inc. (1996)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes Pt.1 Information and Computation 100(1) (1992) 1–40
Microsoft Corporation. The Component Object Model Specification, Version 0.9, Microsoft (1995)
Brockschmidt, K.: How OLE and COM solve the problems of component software design, Microsoft Systems Journal, (1996) 63–80
Williams, T.: Reusable Components for Evolving Systems, IEEE 1998 Software Reuse Conference (pp. 12–16)
Gamma, E.,, Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software, Addison-Wesley (1994)
Magee, J., Kramer, J.:Dynamic Structure in Software Architectures, in: Proc. 4th ACM SIGSOFT Symp. on the Foundations of Software Engineering
Eisenbach, S., Paterson, R.: pi-Calculus semantics for the concurrent configuration language Darwin, Hawaii Int. Conf. on System Sciences (1993)
Sullivan, K.J., Socha, J., Marchukov, M.: Using formal methods to reason about architectural standards, International conference on software engineering ICSE’ 97, (1997) 503–512
Jones, C.B.: A π-calculus semantics for an object-based design notation, in: E. Best (Ed.), Proceedings of CONCUR’93, Springer-Verlag LNCS 715, (1993) 158–172
Nierstrasz, O.: Infrastructure forsoftware component frameworks,Internet http://www.iam.unibe.ch/~scg/Archive/NFS/iscf.html (1996)
Broy, M.: Towards a mathematical concept of a component and its use, Software-concepts and tools 18, (1997) 137–148
Jones, C.B.: Systematic software development using VDM, Prentice Hall (1986)
Spivey, J.M.: Understanding Z: a specification language and its formal semantics, Volume 3 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1988)
Feijs, L.M.G., Jonkers, H.B.M., Middelburg, C.A.: Notations for Software Design, FACIT Series, Springer-Verlag (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feijs, L.M.G. (1999). Modelling microsoft COM using π-calculus. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_21
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_21
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive