This post uses an example to demonstrate, how business IT system modeling can be supported using Sbuilder -tool. The example mimics a simple Pet Store application with two services. One of the services is used to manage pets, and the other one to manage tags.
Notice: This blog post uses mustache includes to load “snippets” into sbuilder formal model. Sbuilder has since been extended with a snippets loader extension points. For an example, refer Specification Driven Development Demo, particularly instructions to create formal model, and more precisely sbuilder.yaml configuration.