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)

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)

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

Publisher:

Chapmann & Hall

Language:

English

Submitter:

Anja Ebeling

Date Deposited:

24 Jan 2018 14:08

Last Modified:

11 Apr 2024 16:12

BORIS DOI:

10.7892/boris.104650

URI:

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

Actions (login required)

Edit item Edit item
Provide Feedback