Archetype language

Language dedicated to smart contract definition and specification

The archetype language is a DSL to define smart contracts. This section presents the main features of the language.

The language provides the basic contract features to:

  • exchange currency between accounts

  • define data and collection of assets

  • formalise contract properties (as state machine and/or as logical properties)