Logo
LogoUniGeSES

ASG list of publications

Citation

Oscar Nierstrasz, "Regular Types for Active Objects", in Object-Oriented Software Composition, pp. 99-121, , , , 1995

Abstract

Previous work on type-theoretic foundations for object-oriented programming languages has mostly focused on applying or extending functional type theory to functional "objects." This approach, while benefiting from a vast body of existing literature, has the disadvantage of dealing with state change either in a roundabout way or not at all, and completely sidestepping issues of concurrency. In particular, dynamic issues of non-uniform service availability and conformance to protocols are not addressed by functional types. We propose a new type framework that characterizes objects as regular (finite state) processes that provide guarantees of service along public channels. We also propose a new notion of subtyping for active objects, based on Brinksma's notion of extension, that extends Wegner and Zdonik's "principle of substitutability" to non-uniform service availability. Finally, we formalize what it means to "satisfy a client's expectations," and we show how regular types can be used to tell when sequential or concurrent clients are satisfied.

Additionnal Notes

ftp://iamftp.unibe.ch/pub/scg/Papers/regularTypes.ps.gz

Bibtex

@inbook{Nier95d,
Author = "Oscar Nierstrasz",
Title = "Regular Types for Active Objects",
Booktitle = "Object-Oriented Software Composition",
Chapter = "",
Volume = "",
Publisher = "Prentice Hall",
Edition = "O. Nierstrasz and D. Tsichritzis",
Series = "",
ISBN = "",
Address = "",
Key = "olit-obc osg OOSC04 scg-pub fnrs95 rtao jb94",
Notes = "ftp://iamftp.unibe.ch/pub/scg/Papers/regularTypes.ps.gz",
Month = "",
Year = "1995"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.