Abstract | ||
---|---|---|
In this paper we propose inheritance relations for a CSP-based component model (BRIC), which supports a constructive design based on composition rules that preserves desired properties such as deadlock freedom. We enhance this component model with support for extensibility via inheritance. The proposed relations allow extension of functionality, whilst preserving service conformance, which we define by means of a substitutability test. We also establish an algebraic connection between component extensibility and refinement. We illustrate our results by presenting a case study that consists of a bank system incrementally improved by inheritance.
|
Year | DOI | Venue |
---|---|---|
2015 | 10.1145/2695664.2695916 | SAC 2015: Symposium on Applied Computing
Salamanca
Spain
April, 2015 |
Keywords | Field | DocType |
component inheritance, correctness by construction, behavioural specification, CSP | Algebraic number,Constructive,Computer science,Trustworthiness,Deadlock,Algorithm,Theoretical computer science,Extensibility,Concurrence | Conference |
ISBN | Citations | PageRank |
978-1-4503-3196-8 | 2 | 0.41 |
References | Authors | |
13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Dihego | 1 | 5 | 1.14 |
Augusto Sampaio | 2 | 30 | 5.48 |
Marcel Oliveira | 3 | 172 | 12.57 |