Regular Types for Active Objects

Nierstrasz, Oscar (1995). Regular Types for Active Objects. In: Nierstrasz, Oscar; Tsichritzis, Dennis (eds.) Object-Oriented Software Composition (pp. 99-121). Prentice-Hall

[img] Text
Nier95dRegularTypes.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (198kB) | Request a copy

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.

Item Type:

Book Section (Book Chapter)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG)

UniBE Contributor:

Nierstrasz, Oscar Marius and Nierstrasz, Oscar Marius

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISBN:

0-13-220674-9

Publisher:

Prentice-Hall

Language:

English

Submitter:

Manuela Bamert

Date Deposited:

29 Jan 2018 10:49

Last Modified:

05 Nov 2019 05:05

BORIS DOI:

10.7892/boris.104647

URI:

https://boris.unibe.ch/id/eprint/104647

Actions (login required)

Edit item Edit item
Provide Feedback