Sbuilder Ethereum Example

Introduction

This post presents an example using Ethereum Solidity language withdrawal pattern to demonstrate, how tla-sbuilder with sbuilder-ethererum plugin can be used to check for implementation correctness.

For an overview of sbuilder-ethereum refer to Sbuilder Ethereum Announcement blog entry.

:More:

Advertisements

Sbuilder Roadmap

Introduction

This post argues that instead of deploying Sbuilder to support an upfront design step, it should be embedded into a framework. The post entry describes enhancements required in the current 0.2.3 version, and identifies a need for a proof of concept to better understand the feasibility of the proposal.

This post is a visio document in in Sbuilder documentation.

:More:

Using Sbuilder to Model an Application

Introduction

This post explains, how to build a runnable specification model for a Salesforce application in sbuilder-demo GIT repository using tla-sbuilder -tool. The example uses Salesforce API plugin to extract interface specification from Salesforce API metadata.

This post is part part of tla-sbuilder documentation.

:More:

Using Sbuilder to Model Business IT Systems

Introduction

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.

The presentation is quite long and technical. Hopefully, comments associated with the YAML, and TLA+ language example snippets, help to follow the idea being presented.

:More: