... ) relies on the concept of existence dependency for its static conceptual model (i.e., the EDG). resource event agent ontology axiomatization blockchain MERODE model-driven engineering finite state machines existence dependency accountability traceability transparency Blockchain...