possible unification of machine and protocol

Well-formed machines are projections of a swarm protocol whose transition structure depends only on the event types, not on the concrete event properties. This means that a machine could also be presented as tracking a swarm protocol from the perspective of a given role, yielding

1. a state name
2. the sequence of events accepted so far
3. the commands currently enabled

Without tracking the state’s properties, invoking a command would involve retrieving necessary information from the sequence of accepted events and constructing the new events using that information. In this scenario, a swarm protocol could be deployed as a running AQL query, even across Actyx nodes, as a piece of logic that is evaluated outside the application’s programming language.

---

It would in this case be helpful to also persist and disseminate the schema for each event type in this protocol, so that Actyx can reject invalid command invocations. Together with the swarm protocol and role subscriptions this would form a complete, shareable package, referenced by CID.