Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Preprint . 2026
License: CC BY
Data sources: ZENODO
ZENODO
Preprint . 2026
License: CC BY
Data sources: Datacite
addClaim

ISP Is a Conditional Corollary of DIP Applied Per Client

DIP Applied Per Client Implies ISP Universally
Authors: Loth, Yannick;

ISP Is a Conditional Corollary of DIP Applied Per Client

Abstract

The Interface Segregation Principle (ISP) and the Dependency Inversion Principle (DIP) are often presented as independent in textbooks and [1], but applying DIP’s ownership clause once per client–provider edge yields the same interfaces that ISP prescribes when DIP is interpreted causally coherently. This paper considers only class-level structural relationships. Under this hypothesis, applying DIP’s ownership clause per client always produces ISP-compliant segregation: DIP applied per client implies ISP universally. The converse—ISP implies DIP applied per client—is conditional and holds only under client-driven interface evolution. When interfaces are provider-driven (third-party APIs) or governed by shared negotiation (B2B contracts), ISP can be satisfied without satisfying DIP’s ownership clause. Therefore, the relationship is asymmetric: DIP applied per client implies ISP universally at the class level, but ISP implies DIP applied per client only under client-driven evolution. Under causal interpretation of DIP’s ownership clause, ISP makes explicit the granularity constraint that is already logically implicit in DIP: an interface owned by a client cannot contain functionality beyond what that client requires, otherwise changes would lack causal grounding in client requirements.The proof requires no formal machinery beyond the definitions of DIP and ISP restated in this paper.Several prior authors have argued that SOLID’s five heuristics are not all independent, but, to the author’s knowledge, the specific derivation—that DIP’s ownership clause applied per client is ISP—has not previously been identified in the literature. This paper examines why the connection went unnoticed for nearly thirty years; the most fundamental factor is that both heuristics were stated informally, making logical derivation impossible until they are stated precisely.

  • BIP!
    Impact byBIP!
    selected citations
    These citations are derived from selected sources.
    This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    0
    popularity
    This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
    Average
    influence
    This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
    Average
    impulse
    This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
    Average
Powered by OpenAIRE graph
Found an issue? Give us feedback
selected citations
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Citations provided by BIP!
popularity
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
BIP!Popularity provided by BIP!
influence
This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
BIP!Influence provided by BIP!
impulse
This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.
BIP!Impulse provided by BIP!
0
Average
Average
Average
Green