ISP Is a Conditional Corollary of DIP Applied Per Client
Skip to main
You are using an outdated browser. Please upgrade your browser to improve your experience.
Published May 23, 2026
| Version v2
Preprint
Open
ISP Is a Conditional Corollary of DIP Applied Per Client
Authors/Creators
Loth, Yannick<br>(Researcher)1
Show affiliations
1.
Independent Researcher
Description
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.<br>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.
Files
loth2026-ispisdip.pdf
Files<br>(413.9 kB)
Name<br>Size
Download all
loth2026-ispisdip.pdf
md5:d620d9e1f52517ad40cbe26a8cdc72d5
413.9 kB
Preview
Download
Additional details
Additional titles
Subtitle
(English)
An Asymmetric Relationship Gated by Interface Evolution Origin
71
Views
57
Downloads
Show more details
All versions<br>This version
Views
Total views
71
Downloads
Total downloads
57
Data volume
Total data volume
22.1 MB<br>1.7 MB
More info on how stats are collected....
Versions
External resources
Indexed in
OpenAIRE
Communities
Details
DOI
DOI Badge
DOI
10.5281/zenodo.20350293
Markdown
[](https://doi.org/10.5281/zenodo.20350293)
reStructuredText
.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.20350293.svg<br>:target: https://doi.org/10.5281/zenodo.20350293
HTML
Image URL
https://zenodo.org/badge/DOI/10.5281/zenodo.20350293.svg
Target URL
https://doi.org/10.5281/zenodo.20350293
Resource type<br>Preprint
Publisher<br>Zenodo
Rights
License
Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited.
Read more
Copyright
Copyright © 2026 Yannick Loth
Citation
Export
Technical metadata
Created
May 23, 2026
Modified
May 23, 2026
Jump up
This site uses cookies. Find out more on how we use cookies
Accept all cookies<br>Accept only essential cookies