Constructive extensibility of trustworthy component-based systems

Dihego, José; Sampaio, Augusto; Oliveira, Marcel

doi:10.1145/2695664.2695916

Cited by 4 publications

(1 citation statement)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In previous work [22], we defined BRIC component refinement and inheritance notions based on the concept of behavioural convergence. Here, we significantly extend our previous work with the following contributions.…”

Section: Introductionmentioning

confidence: 99%

A refinement checking based strategy for component-based systems evolution

Dihego,

Sampaio,

Oliveira

2020

Preprint

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%

A refinement checking based strategy for component-based systems evolution

Dihego,

Sampaio,

Oliveira

2020

Preprint

Self Cite

View full text Add to dashboard Cite

show abstract

Aspect-Oriented Development of Trustworthy Component-based Systems

Dihego

Sampaio

2015

Theoretical Aspects of Computing - ICTAC 2015

View full text Add to dashboard Cite

Rigorous development of component-based systems using component metadata and patterns

et al. 2016

View full text Add to dashboard Cite

In previous work we presented a CSP-based systematic approach that fosters the rigorous design of component-based development (CBD). Our approach is strictly defined in terms of composition rules, which are the only permitted way to compose components. These rules guarantee the preservation of properties (particularly deadlock-freedom) by construction in component composition. Nevertheless, their application is allowed only under certain conditions whose verification via model checking turned out impracticable even for some simple designs, and particularly those involving cyclic topologies. In this paper, we address the performance of the analysis and present a significantly more efficient alternative to the verification of the rule side conditions, which are improved by carrying out partial verification on component metadata throughout component compositions and by using behavioural patterns. The use of metadata, together with behavioural patterns, demands new composition rules, which allow previous exponential time verifications to be carried out now in linear time. Two case studies (the classical dining philosophers, also used as a running example, and an industrial version of the leadership election algorithm) are presented to illustrate and validate the overall approach.

show abstract

Constructive extensibility of trustworthy component-based systems

Cited by 4 publications

References 12 publications

A refinement checking based strategy for component-based systems evolution

A refinement checking based strategy for component-based systems evolution

Aspect-Oriented Development of Trustworthy Component-based Systems

Rigorous development of component-based systems using component metadata and patterns

Contact Info

Product

Resources

About