Bujorianu, Luminata; Caulfield, Tristan; Pym, David; Ilau, Marius-Constantin; (2025) Interfaces in Ecosystems: Concepts, Form, and Implementation. In: Simulation Tools and Techniques (SIMUtools 2024). (pp. pp. 27-47). Springer Nature: Cham, Switzerland.

Text Interfaces_in_Ecosystems.pdf - Accepted Version Access restricted to UCL open access staff until 30 April 2026. Download (550kB)

Abstract

The world we inhabit is constantly increasing in complexity and with this comes a need for new ways of understanding and thinking that can manage this complexity. A key part of managing this complexity involves constructing models of ecosystems of systems and reasoning about their properties. One approach to modelling systems has been based on a process-algebraic formulation of an abstract view of distributed systems. Here, building on this view, we concentrate on modelling ecosystems of systems by developing a rather general concept of interface between systems. Interfaces between models describe how they can be composed together to construct a model of an ecosystem. By introducing the idea of local reasoning, building on work in program analysis and verification, we develop tools for analysing the behaviour and performance of ecosystem models in an efficient way.

Download activity - last month

Export as XMLCSVJSON

Download activity - last 12 months

Export as CSVXMLJSON

Downloads by country - last 12 months

Export as JSONXMLCSV

Archive Staff Only

View Item