A Formal Language for Composition

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] 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 Edit item
Provide Feedback