Lumpe, Markus; Achermann, Franz; Nierstrasz, Oscar (2000). A Formal Language for Composition. In: Leavens, Gary; Sitaraman, Murali (eds.) Foundations of Component Based Systems (pp. 69-90). Cambridge University Press
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
Lump00aFormalLanguage.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (270kB) |
A composition language based on a formal semantic foundation will facilitate precise specification of glue abstractions and compositions, and will support reasoning about their behaviour. The semantic foundation, however, must address a set of requirements like encapsulation, objects as processes, components as abstractions, plug compatibility, a formal object model, and scalability. In this work, we propose the piL-calculus, an extension of the pi-calculus, as a formal foundation for software composition, define a language in terms of it, and illustrate how this language can be used to plug components together.
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) [discontinued] |
UniBE Contributor: |
Nierstrasz, Oscar |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISBN: |
0-521-77164-1 |
Publisher: |
Cambridge University Press |
Language: |
English |
Submitter: |
Anja Ebeling |
Date Deposited: |
11 Dec 2017 15:58 |
Last Modified: |
11 Apr 2024 16:12 |
BORIS DOI: |
10.7892/boris.104613 |
URI: |
https://boris.unibe.ch/id/eprint/104613 |
Actions (login required)
 |
Edit item |