# Alloy library for software engineers?

**URL:** <https://alloytools.discourse.group/t/alloy-library-for-software-engineers/257>\
**Category:** Software Abstractions\
**Created:** [May 7, 2022, 11:39pm UTC](https://alloytools.discourse.group/t/alloy-library-for-software-engineers/257 "2022-05-07T23:39:56Z")\
**Posts on this page:** 3\
**Page:** 1

<div class="post-metadata">

**Author:** ![chadbrewbaker](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/chadbrewbaker/32/135_2.png) [@chadbrewbaker](https://alloytools.discourse.group/u/chadbrewbaker)\
**Post date:** [May 7, 2022, 11:39pm UTC](https://alloytools.discourse.group/t/alloy-library-for-software-engineers/257/1 "2022-05-07T23:39:57Z")

</div>

Is there a repository with a more comprehensive set of Alloy models for web/server protocols?

Eunsuk Kang has Alloy files for web browser same origin policies and another for OAuth2 on his GitHub.

Jay Parlar mentioned he wrote up SAML for a client at StangeLoop 2019, but it doesn’t seem to be public.

I’m doing an Elastic Enterprise integration for a Fortune 500 and it is a complexity zoo - GitHub Enterprise, Atlassian products, Microsoft 365 Enterprise, AWS AMI, Active Directory, SAML, …

---

<div class="post-metadata">

**Author:** ![grayswandyr](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/grayswandyr/32/17_2.png) [@grayswandyr](https://alloytools.discourse.group/u/grayswandyr)\
**Post date:** [May 23, 2022, 2:05pm UTC](https://alloytools.discourse.group/t/alloy-library-for-software-engineers/257/2 "2022-05-23T14:05:25Z")

</div>

> [@chadbrewbaker](#):
>
> Is there a repository with a more comprehensive set of Alloy models for web/server protocols?

I don’t know of any. That would indeed be a good idea. There’s an ad hoc page on the official web site but it’s not populated…

---

<div class="post-metadata">

**Author:** ![roehst](https://yyz2.discourse-cdn.com/free1/user_avatar/alloytools.discourse.group/roehst/32/156_2.png) [@roehst](https://alloytools.discourse.group/u/roehst)\
**Post date:** [October 11, 2022, 3:48pm UTC](https://alloytools.discourse.group/t/alloy-library-for-software-engineers/257/3 "2022-10-11T15:48:10Z")

</div>

Hi Chad,

What do you want to use Alloy for exactly?