.png){kind=icon}
Return
A refinement checking based strategy for component-based systems evolution
.png){kind=icon}
OA
AI
DOI：10.1016/j.jss.2020.110598.png)
.png){kind=icon}
.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
We propose inheritance and refinement relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserve classical concurrency properties such as deadlock freedom. The proposed relations allow extension of functionality, whilst preserving behavioural properties. A notion of extensibility is defined on top of a behavioural relation called convergence, which distinguishes inputs from outputs and the context where they are communicated, allowing extensions to reuse existing events with different purposes. We mechanise the strategy for extensibility verification using the FDR4 tool, and illustrate our results with an autonomous healthcare robot case study. (C) 2020 Elsevier Inc. All rights reserved.
Keywords:
Component extensibility
Correctness by construction
Behavioural specification
CSP
FDR4
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
4.1
Papers:
5.4K
Citations:
8.4K
Organization
Cited Papers
ShareSaveShareSaveChanges in the spatial distribution of the under-five mortality rate: Small-area analysis of 122 DHS surveys in 262 subregions of 35 countries in Africa.png)
PLOS ONEOAAI
PLOS ONEIF0
OAAIShareSaveShareSave
View more