2008
DOI: 10.1016/j.entcs.2008.06.022
|View full text |Cite
|
Sign up to set email alerts
|

Formalization of Component Substitutability

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
5
0

Year Published

2011
2011
2019
2019

Publication Types

Select...
4
2
1

Relationship

1
6

Authors

Journals

citations
Cited by 16 publications
(5 citation statements)
references
References 7 publications
0
5
0
Order By: Relevance
“…Several techniques ensure the substitutability between components [ZW97,BD08]. These approaches are built upon the substitution principle of Liskov [LW94] in the context of object-oriented programming.…”
Section: Substitutability Checkingmentioning
confidence: 99%
“…Several techniques ensure the substitutability between components [ZW97,BD08]. These approaches are built upon the substitution principle of Liskov [LW94] in the context of object-oriented programming.…”
Section: Substitutability Checkingmentioning
confidence: 99%
“…Those dimensions are (1) what is changing, (2) where the change is applied and (3) how the respective code is changed.…”
Section: Methodsmentioning
confidence: 99%
“…Various definitions of compatibility related to software components exist, both in the research [8,2,48,5] and the technical [19,34,33] literature, mostly dealing with the issue of correct replacement and interoperability.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…The two first challenges are addressed in a previous work (Belguidoum and Dagnat 2007), indeed, we have proposed a formal description of component dependencies specifying the precise relation between each provided service and its requirement in the same component. We proposed a predicate logic based framework for component deployment to ensure the success and the safety of component installation, deinstallation (Belguidoum and Dagnat 2007) and substitution (Belguidoum and Dagnat 2008). However, this framework has some limitations when applied to dynamic, concurrent and distributed systems.…”
Section: Introductionmentioning
confidence: 99%