include "primitives.alh" SimpleAttribute String{ name = "String" constraint = $ String function main(model : Element, name : String): if (is_physical_string(model["model"][name])): return "OK"! else: return "String has non-string value"! $ } Class Group { name : String name = "Group" } Class Port { name : String name = "Port" } Association Connects (Port, Port) { name = "Connects" } Association Contains (Group, Port) { name = "Contains" }