Towards a formal composition language

Lumpe, Markus; Schneider, Jean-Guy; Nierstrasz, Oscar; Achermann, Franz (September 1997). Towards a formal composition language. In: European Software Engineering Conference. Zürich, Schweiz. 22.-25. Sept. 1997.

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

Download (128kB) | Request a copy

When do we call a software development environment a composition environment? A composition environment must be built of three parts: i) a reusable component library, ii) a component framework determining the software architecture, and iii) an open and flexible composition language. Most of the effort in component technology was spent on the first two parts. Now it is crucial to address the last part and find an appropriate model to glue existing components together. In this work, we investigate existing component and glue models, define a set of requirements a composition language must fulfill, and report our first results using a prototype implementation of a general-purpose composition language based on the Pi-calculus.

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:

31 Jan 2018 10:27

Last Modified:

29 Mar 2018 06:36

Additional Information:

Was presented at "Workshop on Foundations of Component-Based Systems" https://files.ifi.uzh.ch/rerg/arvo/esec97/workshops.html

BORIS DOI:

10.7892/boris.104611

URI:

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

Actions (login required)

Edit item Edit item
Provide Feedback