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]](https://boris.unibe.ch/style/images/fileicons/text.png) |
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 |