https://9dok.net/document/z3dxm6re-werkzeugunterstützung-validierung-uml-ocl-modellen-durchautomatische-snapshotgenerierung.html