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]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
Lump96aMetaobjectsWithPict.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (88kB) |
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) [discontinued] |
UniBE Contributor: |
Nierstrasz, Oscar |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
Language: |
English |
Submitter: |
Anja Ebeling |
Date Deposited: |
24 Jan 2018 11:26 |
Last Modified: |
11 Apr 2024 16:12 |
BORIS DOI: |
10.7892/boris.104610 |
URI: |
https://boris.unibe.ch/id/eprint/104610 |
Actions (login required)
 |
Edit item |