And so on. Based on the results of such study we want to implement prototype tools to perform specialised tasks like e.g. calculating the semantics of composition, generating proof conditions, generating component wrappers to monitor their behaviour at run-time, discovering automatically the presence of redundancy among components, carrying out transformations to exploit this redundancy, etc. Describes how to assemble the components to achieve reliability of the composition despite possible failures of individual components. Describes how bisimulation can play the role of an abstracting equivalence for selecting components described as RSL modules, concerned only with their external behaviour. Implementation under way to generate a component wrapper from its specification.
More reports are in progress.
The project is expected to continue. How to calculate the result of such composition, semantically.