README.md

icon	description
mobile-screen-button	This page gives an overview of the different application components.

Applications

Applications consist of application state and logic.

• State is modelled as resources and constituted by the arbitrary data they contain.
• Logic is modelled as resource logic functions expressing the predicates required for a resource to be created and consumed in a transaction.

Users transition application state by executing transactions on a distributed ledger. All resources related to an application and corresponding resource logic functions make up the application backend and determine which application state transitions can happen.

Instead of creating and consuming resources and providing all data required in the transaction object manually, users interact with an application interface consisting of a read- and write-related part.

flowchart TB
  subgraph Application
    direction BT
    subgraph Interface
        direction LR
        tf("{Read Interface}<br>Projection functions") 
        --inform--> 
        pf("{Write Interface}<br>Transaction functions")
    end
    subgraph Backend
        direction BT
        rlf("Resources &<br>Logic functions")
    end
  end
  human(("Human")) --> Application --> machine(("Machine"))
  Backend --"read"--> Interface
  Interface --"write"--> Backend

Loading

In the following, we look at the backend and interface in detail.