Open Autonomy Compose

A framework for working with FSM based ABCI applications

Install

pip3 install open-autonomy-compose

Setup a new service repository

In an empty directory run

compose new --author=AUTHOR

This will scaffold a service repository with all the latest packages and dependencies.

Generate FSM Specification

If you have an ABCI app composition and you want to generate a specification for the same run

compose fsm from-app PATH_TO_ABCI_APP

Perform consistency checks

To peform consistency check on an ABCI app run

compose check PATH_TO_ABCI_APP

Supported consistency checks

• SyncDB
  • Pre/Post Conditions for round transitions
  • Static analyser for checking if the required updates are being performed or not

Inspect the ABCI App

To inspect the ABCI app run

compose inspect PATH_TO_ABCI_APP

Running this will start an http server, open the URL for HTTP server and you can inspect the ABCI app in the browser

Scaffolding FSMs

Scaffold an empty ABCI application

compose scaffold --abci/--composition NAME

This will create a skill package in the packages/author/skills/ directory.

You can also use a FSM specification to scaffold using --spec flag.

compose scaffold --abci/--composition --spec=specification.yaml NAME

Check examples/specifications folder for examples.

Development

• Ensure your machine satisfies the following requirements:

  • Python >= 3.8
  • Pip
  • Poetry

• Clone the repository:

  git clone git@github.com:valory-xyz/open-autonomy-compose.git
  

• Create a development environment

  poetry install
  

• Launch poetry shell in start developing

  poetry shell
  

Cite

If you are using our software in a publication, please consider to cite it with the following BibTex entry:

@misc{open-autonomy-compose,
  Author = {Viraj Patel},
  Title = {Open Autonomy Compose},
  Year = {2023},
}