Schneider, Jean-Guy; Lumpe, Markus (January 2000). A Metamodel for Concurrent, Object-based Programming. In: Dony, Christophe; Sahraoui, Houari A. (eds.) Colloque Langages et Modèles à Objets 2000 (pp. 149-165). Hermes
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
Schn00aMetamodelForOBCP.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (189kB) |
The development of flexible and reusable concurrent object-oriented programming abstractions has suffered from the inherent problem that reusability and extensibility is limited due to position-dependent parameters. To tackle this problem, we propose the Form-calculus, an inherently polymorphic variant of the Pi-calculus, where polyadic tuple communication is replaced by monadic communication of extensible records. This approach facilitates the specification of flexible, concurrent, object-oriented programming abstractions. Based on our previous work in this field, we present a Form-calculus based meta-level approach for concurrent, object-based programming which adapts a compositional view of programming. This approach enables the definition of various semantic models supporting different kinds of inheritance and method dispatch strategies, and clarifies concepts which are typically merged in existing object-oriented programming languages.
Item Type: |
Conference or Workshop Item (Paper) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued] |
ISBN: |
2-7462-0093-7 |
Publisher: |
Hermes |
Language: |
English |
Submitter: |
Anja Ebeling |
Date Deposited: |
10 Jan 2018 10:49 |
Last Modified: |
11 Apr 2024 16:12 |
BORIS DOI: |
10.7892/boris.104772 |
URI: |
https://boris.unibe.ch/id/eprint/104772 |
Actions (login required)
 |
Edit item |