STAR is a new programming style inspired from the TLA+ Specification Language (Dr. Lamport). Amazon is using TLA+ extensively in the design of AWS. STAR aims at bringing the advantages of formal methods directly in the programming language of your choice.

The STAR programming style is about explicitly delineating States, Actions, Types and Relationships. In most programming languages, these concepts are often reified into each other. For instance a (control) state in OO is generally implemented as a property forcing us to code the association between actions and (control) state, rather than making these associations explicit.

One key noticeable difference between STAR and TLA+ is that State, here, means "control state". Dr. Lamport defines state as an assignment of variable, which is of course correct, but fails to provide the hooks to connect Actions and (control) State properly (i.e. the actions that are explicitly enabled in a given (control) State. In STAR, the assignment of variable is controlled by the Type, which decides which (control) state maps to the current assignment of variable.

With STAR, just like with TLA+, actions are purely functional and are not connected to a target (control) state. The results of the actions are "presented" to the type which decides to accept them or not, it is only then that the target (control) state determination is made.

The STAR metamodel is represented below:

STAR metamodel

A component's lifecycle is generally represented by this sequence diagram:

SCM Lifecycle

What is this repository for?

This repository contains a A STAR Component Model (SCM) implemented in Javascript (currently v0.5) Several examples are provided (Factorial which has been inspired by the examples used by Dr. Lamport to illustrate TLA+, and a "Reliable API Call" components used in a variety of architectures, SPA/AJAX, WebSocket/Node.js, Feed/Node.js)

How do I get set up?

  • You can create a STAR Component by subclassing the class
  • You'll need to add one or more behaviors (States, Actions and Type)
  • The allows you to "walk" your component and generate PlantUML activity or State diagrams. For instance, this is the state diagram created during the execution of the Factorial component (

Factorial State Diagram

Contribution guidelines

Contributions are welcomed Code review Suggestions

Who do I talk to?

  • Repo admin: Jean-Jacques Dubray -