Formalizing Composable Software Systems —- A Research Agenda

Nierstrasz, Oscar; Schneider, Jean-Guy; Lumpe, Markus (1996). Formalizing Composable Software Systems —- A Research Agenda. In: Formal Methods for Open Object-based Distributed Systems (FMOODS’96) (pp. 271-282). Chapmann & Hall

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

Download (94kB) | Request a copy

Flexibility is achieved in open systems by adopting software architectures that allow software components to be easily plugged in, adapted and exchanged. But open systems are generally con current, distributed and heterogeneous in addition to being adaptable. Ad hoc approaches to specifying component frameworks can lead to unexpected semantic conflicts. We propose, instead, to develop a rigorous foundation for composable software systems by a series of experiments in modelling concurrent and object-based software abstractions as composable, communicating processes. Eventually we hope to identify and realize the most useful compositional idioms as a composition language for open systems specification.

Item Type:

Conference or Workshop Item (Paper)


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


000 Computer science, knowledge & systems
500 Science > 510 Mathematics


Chapmann & Hall




Manuela Bamert

Date Deposited:

24 Jan 2018 14:08

Last Modified:

23 Oct 2019 13:09




Actions (login required)

Edit item Edit item
Provide Feedback