Using Metaobjects to Model Concurrent Objects with PICT

Lumpe, Markus; Schneider, Jean-Guy; Nierstrasz, Oscar (October 1996). Using Metaobjects to Model Concurrent Objects with PICT. In: Langages et Modèles à Objects. Leysin, Schweiz.

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

Download (88kB) | Request a copy

We seek to support the development of open, distributed applications from plug-compatible software abstractions. In order to rigorously specify these abstractions, we are elaborating a formal object model for software composition in which objects and related software abstractions are viewed as patterns of communicating processes. The semantic foundation is Milner's pi calculus, and the starting point for our object model is Pierce and Turner's encoding of objects as processes in the experimental Pict programming language. Our experience shows that common object-oriented programming abstractions such as dynamic binding, inheritance, genericity, and class variables are most easily modelled when metaobjects are explicitly reified as first class entities (i.e., processes). Furthermore, various roles that are typically merged (or confused) in object-oriented languages such as classes, implementations, and metaobjects, each show up as strongly-typed, first class processes

Item Type:

Conference or Workshop Item (Paper)

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

Subjects:

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

Language:

English

Submitter:

Manuela Bamert

Date Deposited:

24 Jan 2018 11:26

Last Modified:

18 Nov 2019 18:54

BORIS DOI:

10.7892/boris.104610

URI:

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

Actions (login required)

Edit item Edit item
Provide Feedback