conflict resolution, Data Management Plan, deontic logic, Normative specification, open data, runtime verification, trace format, trace semantics.