Visual explorer · proof of concept
Reads a service modeled in BKIR and shows it as its real flow: the happy path,
the guards that branch off to each output, the transactional effects, the iterations and the
calls. Hover a node to see which output it leads to; click to see the rule's detail. Load your
own .bkir files or edit a message and re-export. All in the browser, no server.
Proof of concept. Includes: live validation (references, edges to outputs,
attempt/predicate consistency — the same criteria as the repo validator), a service
summary, outputs with their transport mapping and "reached
from", and editing of fields (name, output messages, a condition's meaning and
predicate, an interaction's resource) with re-export to .bkir —just the operation,
or the whole project as a multi-document file. You can pan and zoom the
canvas, do structural editing (reorder, add or delete nodes and outputs) that
re-lays-out the diagram automatically, and export it to SVG or PNG.
"Load .bkir" accepts several Units (the operation plus the ones it references) or
paste them separated by ---; with ?op=OP_ID in the URL you open a
service directly.