SCXML implementation on top of MarkLogic