|
ENTITY Rule_set SUBTYPE OF (Rule_software_definition); conflict_resolution_strategy : OPTIONAL STRING; rule_member : SET [1:?] OF Rule_priority; DERIVE engine : SET [1:1] OF Document_definition := get_document_definition(SELF, 'engine', 'SPECIFICATION_DOCUMENT_ARM.LANGUAGE_REFERENCE_MANUAL'); INVERSE purpose : Identification_assignment FOR items; WHERE WR1: purpose.role = 'purpose'; END_ENTITY; -- Rule_set |
Entity data types and their attributesProduct_view_definition(OPT) id: STRING; (OPT) name: STRING; (OPT) additional_characterization: STRING; initial_context: View_definition_context; additional_contexts: SET [0:?] OF View_definition_context; defined_version: Product_version; Information_definition (RT) defined_version: Information_version; Software_definition (RT) defined_version: Software_version; Rule_software_definition (RT) defined_version: Rule_version; Rule_set (OPT) conflict_resolution_strategy: STRING; rule_member: SET [1:?] OF Rule_priority; (DER) engine: SET [1:1] OF Document_definition; (INV) purpose: Identification_assignment FOR items; |
Global rules for this entity data type- |