import /formalisms/SimpleClassDiagrams as SCD SCD SimpleClassDiagrams{ SimpleAttribute Natural {} SimpleAttribute String {} SimpleAttribute Boolean {} Class Element {} Class Class{ lower_cardinality? : Natural upper_cardinality? : Natural } Association Association (Element, Element){ source_lower_cardinality? : Natural source_upper_cardinality? : Natural target_lower_cardinality? : Natural target_upper_cardinality? : Natural } Association Attribute (Element, AttributeValue) { optional : Boolean name : String } Class AttributeValue {} Association Inheritance (Element, Element){} Inheritance assoc_inh_class (Association, Class) {} Inheritance class_inh_element (Class, Element) {} Inheritance attributevalue_inh_element (AttributeValue, Element) {} }