import models/SimpleClassDiagrams as SimpleClassDiagrams SimpleClassDiagrams CoreFormalism { Class String { $ if (bool_not(is_physical_string(self))): return "String has no string value"! else: return "OK"! $ } Class Permissions { $ if (bool_not(is_physical_string(self))): return "Permissions has no string value"! else: return "OK"! $ } Class Boolean { $ if (bool_not(is_physical_bool(self))): return "Boolean has no bool value"! else: return "OK"! $ } Class User { name : String admin : Boolean } Class Group { name : String } Association ownedBy (Group, User) {} Class Model { name : String location : String permissions : Permissions } Class Transformation { name : String location : String } Class ModelTransformation : Transformation {} Class ActionLanguage : Transformation {} } export CoreFormalism to models/CoreFormalism