# A new attempt at a catalog of software concepts, using Alloy

**URL:** <https://forum.essenceofsoftware.com/t/a-new-attempt-at-a-catalog-of-software-concepts-using-alloy/216>\
**Category:** Concept catalog\
**Created:** [August 4, 2024, 4:14pm UTC](https://forum.essenceofsoftware.com/t/a-new-attempt-at-a-catalog-of-software-concepts-using-alloy/216 "2024-08-04T16:14:16Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![dpapathanasiou](https://sea2.discourse-cdn.com/flex016/user_avatar/forum.essenceofsoftware.com/dpapathanasiou/32/107_2.png) [@dpapathanasiou](https://forum.essenceofsoftware.com/u/dpapathanasiou)\
**Post date:** [August 4, 2024, 4:14pm UTC](https://forum.essenceofsoftware.com/t/a-new-attempt-at-a-catalog-of-software-concepts-using-alloy/216/1 "2024-08-04T16:14:16Z")

</div>

Hi all,

I was quite taken by the book’s idea of creating a catalog of concepts from which applications could be composed more efficiently than designing and building from scratch.

Here’s my own attempt at getting started, using the latest version of Alloy for the syntax (which comes with the added bonus of providing verification for correctness):

> **[GitHub - dpapathanasiou/concept-catalog: This is a proof-of-concept in defining a catalog...](https://github.com/dpapathanasiou/concept-catalog)**
>
> This is a proof-of-concept in defining a catalog of software concepts as described in "The Essence of Software (EOS)"

---

<div class="post-metadata">

**Author:** ![Scott](https://sea2.discourse-cdn.com/flex016/user_avatar/forum.essenceofsoftware.com/scott/32/131_2.png) [@Scott](https://forum.essenceofsoftware.com/u/Scott)\
**Post date:** [May 18, 2026, 11:56am UTC](https://forum.essenceofsoftware.com/t/a-new-attempt-at-a-catalog-of-software-concepts-using-alloy/216/2 "2026-05-18T11:56:44Z")

</div>

I am working on an ambitious version of the concept catalog also.  
Please check out [https://gracecommons.dev/](https://gracecommons.dev/) and it’s first (of 2 planned) rendered concept → [GitHub - scottromack/grace-commons-demo · GitHub](https://github.com/scottromack/grace-commons-demo)