Principe de substitution de Liskov

Le principe de substitution de Liskov (LSP) est, en programmation orientée objet, une définition particulière de la notion de sous-type. Il a été formulé par Barbara Liskov et Jeannette Wing dans un article intitulé A Behavioral Notion of Subtyping^[1] :

Liskov et Wing en ont proposé la formulation condensée suivante^[2] :

Si $q(x)$ est une propriété démontrable pour tout objet $x$ de type $T$ , alors $q(y)$ est vraie pour tout objet $y$ de type $S$ tel que $S$ est un sous-type de $T$ .

↑ (en) Barbara Liskov et Jeannette Wing, « A behavioral notion of subtyping », ACM Trans. Program. Lang. Syst., vol. 16, n^o 6,‎ 1^er novembre 1994, p. 1811–1841 (ISSN 0164-0925, DOI 10.1145/197320.197383 , lire en ligne [PDF], consulté le 5 octobre 2006)
↑ (en) Barbara Liskov et Jeannette Wing, « Behavioural subtyping using invariants and constraints », dans Howard Bowman, John Derrick, Formal methods for distributed processing: a survey of object-oriented approaches, New York, NY, USA, Cambridge University Press, 1^er août 2001, 431 p. (ISBN 978-0-521-77184-9, DOI 10.5555/566795.566811 , lire en ligne), p. 254–280

[1] (en) Barbara Liskov et Jeannette Wing, « A behavioral notion of subtyping », ACM Trans. Program. Lang. Syst., vol. 16, n^o 6,‎ 1^er novembre 1994, p. 1811–1841 (ISSN 0164-0925, DOI 10.1145/197320.197383 , lire en ligne [PDF], consulté le 5 octobre 2006)

[2] (en) Barbara Liskov et Jeannette Wing, « Behavioural subtyping using invariants and constraints », dans Howard Bowman, John Derrick, Formal methods for distributed processing: a survey of object-oriented approaches, New York, NY, USA, Cambridge University Press, 1^er août 2001, 431 p. (ISBN 978-0-521-77184-9, DOI 10.5555/566795.566811 , lire en ligne), p. 254–280

[1]

[2]

Principe de substitution de Liskov

From Wikipedia, the free encyclopedia · View on Wikipedia