GoKawiilEssay Distinguishes Two Types of Software Abstraction: Hiding vs Reducing
A formal-methods writer argues that computer science conflates two distinct concepts under the single word 'abstraction.' One is 'modularity abstraction'—the traditional CS practice of hiding implementation details behind interfaces, APIs, and layered designs. The other is 'modeling abstraction,' used in tools like TLA+, which strips a system down to the minimal behavioral core needed to reason about a specific property, cutting across layers rather than hiding them.
GoKawiil's interpretation of the reporting above, not reported fact.
The distinction explains why engineers who are fluent in API design and encapsulation often struggle badly when asked to write formal specifications or models. Recognizing these as separate skills—rather than assuming abstraction is one unified competency taught adequately by standard CS curricula—could reshape how formal methods and system design are taught.
- Modularity abstraction hides internal details behind interfaces and layered boundaries.
- Modeling abstraction reduces a system to the minimal behavior needed to reason about one property.
- The skill gap in formal methods stems from conflating these two very different abstraction skills.
Practical TLA+ by Hillel Wayne — If this article's talk of modeling abstraction sparked your curiosity, Hillel Wayne's Practical TLA+ is the friendliest on-ramp to actually writing specs and checking them. It walks through the language and the model checker with concrete examples, which is exactly the hands-on practice the post says makes or breaks the abstraction skill.
See Practical TLA+ by Hillel Wayne on Amazon → Affiliate link — we may earn a commission on purchases, at no extra cost to you. Product picked by AI based on this article; it is not a tested recommendation.Source: muratbuffalo.blogspot.com — Visit Profile, 2026-09-02
Published there as: “The Two Abstractions of System Design: Hide or Reduce”
Read the original report → The summary and analysis above are GoKawiil's own, written from reporting by the source above. Facts and quotes belong to the original publisher.