Application module: Production rule ISO/TS 10303-1739:2019(E)
© ISO

Cover page
Table of contents
Copyright
Foreword
Introduction
1 Scope
2 Normative references
3 Terms, definitions and abbreviated terms
    3.1 Terms and definitions
    3.2 Abbreviated terms

4 Information requirements
   4.1 Required AM ARMs
   4.2 ARM type definitions
   4.3 ARM entity definitions
   4.4 ARM function definitions
   4.5 ARM rule definitions
5 Module interpreted model
   5.1 Mapping specification
   5.2 MIM EXPRESS short listing
     5.2.1 MIM type definitions
     5.2.2 MIM entity definitions

A MIM short names
B Information object registration
C ARM EXPRESS-G   EXPRESS-G
D MIM EXPRESS-G   EXPRESS-G
E Computer interpretable listings
F Change history
Bibliography
Index

Index

Abstract_variable
   ARM object definition 4.3.1
   ARM EXPRESS-G C.4
   mapping specification 5.1.2
abstract_variable
   MIM object definition 5.2.2.1
   MIM EXPRESS-G D.2
Activity_arm
   ARM interface 4.1
Activity_mim
   MIM interface 5.2
Applied_activity_assignment
   mapping specification 5.1.1
Atomic_formula
   ARM object definition 4.3.2
   ARM EXPRESS-G C.4
   mapping specification 5.1.3
atomic_formula
   MIM object definition 5.2.2.2
   MIM EXPRESS-G D.3
Attribute_assertion
   ARM object definition 4.3.3
   ARM EXPRESS-G C.3
   mapping specification 5.1.4
attribute_assertion
   MIM object definition 5.2.2.3
   MIM EXPRESS-G D.3
Back_chaining_rule
   ARM object definition 4.3.4
   ARM EXPRESS-G C.2
   mapping specification 5.1.5
back_chaining_rule
   MIM object definition 5.2.2.4
   MIM EXPRESS-G D.2
back_chaining_rule_body
   MIM object definition 5.2.2.5
   MIM EXPRESS-G D.3
built_in_functions
   ARM object definition 4.2.1
   ARM EXPRESS-G C.4
clause_select
   ARM object definition 4.2.2
   ARM EXPRESS-G C.2
Complex_clause
   ARM object definition 4.3.5
   ARM EXPRESS-G C.2
   mapping specification 5.1.6
complex_clause
   MIM object definition 5.2.2.6
   MIM EXPRESS-G D.3
Complex_conjunctive_clause
   ARM object definition 4.3.6
   ARM EXPRESS-G C.2
   mapping specification 5.1.7
complex_conjunctive_clause
   MIM object definition 5.2.2.7
   MIM EXPRESS-G D.3
Complex_disjunctive_clause
   ARM object definition 4.3.7
   ARM EXPRESS-G C.2
   mapping specification 5.1.8
complex_disjunctive_clause
   MIM object definition 5.2.2.8
   MIM EXPRESS-G D.3
constants
   ARM object definition 4.2.3
   ARM EXPRESS-G C.4
contains_variable
   ARM object definition 4.4.1
Date_time_assignment_arm
   ARM interface 4.1
Date_time_assignment_mim
   MIM interface 5.2
Document_assignment
   mapping specification 5.1.9
Entity_assertion
   ARM object definition 4.3.8
   ARM EXPRESS-G C.3
   mapping specification 5.1.10
entity_assertion
   MIM object definition 5.2.2.9
   MIM EXPRESS-G D.3
Enum_reference_prefix
   ARM object definition 4.3.9
   ARM EXPRESS-G C.3
   mapping specification 5.1.11
enum_reference_prefix
   MIM object definition 5.2.2.10
   MIM EXPRESS-G D.3
expression_syntax
   ARM object definition 4.2.4
   ARM EXPRESS-G C.3
Extent
   ARM object definition 4.3.10
   ARM EXPRESS-G C.3
   mapping specification 5.1.12
extent
   MIM object definition 5.2.2.11
   MIM EXPRESS-G D.3
Fact_type
   ARM object definition 4.3.11
   ARM EXPRESS-G C.3
   mapping specification 5.1.13
fact_type
   MIM object definition 5.2.2.12
   MIM EXPRESS-G D.3
Forward_chaining_rule
   ARM object definition 4.3.12
   ARM EXPRESS-G C.2
   mapping specification 5.1.14
forward_chaining_rule
   MIM object definition 5.2.2.13
   MIM EXPRESS-G D.2
forward_chaining_rule_premise
   MIM object definition 5.2.2.14
   MIM EXPRESS-G D.3
Func
   ARM object definition 4.3.13
   ARM EXPRESS-G C.4
   mapping specification 5.1.15
func
   MIM object definition 5.2.2.15
   MIM EXPRESS-G D.3
function_symbol
   ARM object definition 4.2.5
   ARM EXPRESS-G C.4
Global_assignment
   ARM object definition 4.3.14
   ARM EXPRESS-G C.4
   mapping specification 5.1.16
global_assignment
   MIM object definition 5.2.2.16
   MIM EXPRESS-G D.2
Ground_fact
   ARM object definition 4.3.15
   ARM EXPRESS-G C.4
   mapping specification 5.1.17
ground_fact
   MIM object definition 5.2.2.17
   MIM EXPRESS-G D.3
Identification_assignment
   mapping specification 5.1.18
Identification_assignment_arm
   ARM interface 4.1
Identification_assignment_mim
   MIM interface 5.2
Literal_conjunction
   ARM object definition 4.3.16
   ARM EXPRESS-G C.2
   mapping specification 5.1.19
literal_conjunction
   MIM object definition 5.2.2.18
   MIM EXPRESS-G D.3
Literal_disjunction
   ARM object definition 4.3.17
   ARM EXPRESS-G C.2
   mapping specification 5.1.20
literal_disjunction
   MIM object definition 5.2.2.19
   MIM EXPRESS-G D.3
local_vars_aux
   ARM object definition 4.4.2
local_vars_of
   ARM object definition 4.4.3
max_one_entity_prefix
   ARM object definition 4.5.1
Organization_or_person_in_organization_assignment
   mapping specification 5.1.21
pr_action_items
   MIM object definition 5.2.1.1
   MIM EXPRESS-G D.2
pr_activity_item
   ARM object definition 4.2.6
   ARM EXPRESS-G C.3
pr_date_and_time_item
   MIM object definition 5.2.1.2
   MIM EXPRESS-G D.2
pr_document_reference_item
   MIM object definition 5.2.1.3
   MIM EXPRESS-G D.2
pr_documented_element_select
   ARM object definition 4.2.7
   ARM EXPRESS-G C.2
pr_identification_item
   ARM object definition 4.2.8
   ARM EXPRESS-G C.2
pr_identification_item
   MIM object definition 5.2.1.4
   MIM EXPRESS-G D.2
pr_organization_item
   MIM object definition 5.2.1.5
   MIM EXPRESS-G D.2
pr_organization_or_person_in_organization_item
   ARM object definition 4.2.9
   ARM EXPRESS-G C.3
pr_person_and_organization_item
   MIM object definition 5.2.1.6
   MIM EXPRESS-G D.2
predicate_symbol
   ARM object definition 4.2.10
   ARM EXPRESS-G C.4
product_definition_schema
   MIM interface 5.2
Product_identification_arm
   ARM interface 4.1
Product_identification_mim
   MIM interface 5.2
product_property_definition_schema
   MIM interface 5.2
product_property_representation_schema
   MIM interface 5.2
representation_schema
   MIM interface 5.2
Row_value
   ARM object definition 4.3.18
   ARM EXPRESS-G C.4
   mapping specification 5.1.22
row_value
   MIM object definition 5.2.2.20
   MIM EXPRESS-G D.3
Row_variable
   ARM object definition 4.3.19
   ARM EXPRESS-G C.4
   mapping specification 5.1.23
row_variable
   MIM object definition 5.2.2.21
   MIM EXPRESS-G D.2
Rule_action
   ARM object definition 4.3.20
   ARM EXPRESS-G C.3
   mapping specification 5.1.24
rule_action
   MIM object definition 5.2.2.22
   MIM EXPRESS-G D.2
Rule_adoption
   ARM object definition 4.3.21
   ARM EXPRESS-G C.3
   mapping specification 5.1.25
Rule_change_request
   ARM object definition 4.3.22
   ARM EXPRESS-G C.3
   mapping specification 5.1.26
Rule_condition
   ARM object definition 4.3.23
   ARM EXPRESS-G C.4
   mapping specification 5.1.27
rule_condition
   MIM object definition 5.2.2.23
   MIM EXPRESS-G D.3
Rule_creation
   ARM object definition 4.3.24
   ARM EXPRESS-G C.3
   mapping specification 5.1.28
Rule_definition
   ARM object definition 4.3.25
   ARM EXPRESS-G C.2
   mapping specification 5.1.29
rule_definition
   MIM object definition 5.2.2.24
   MIM EXPRESS-G D.2
Rule_expiration
   ARM object definition 4.3.26
   ARM EXPRESS-G C.3
   mapping specification 5.1.30
Rule_justification
   ARM object definition 4.3.27
   ARM EXPRESS-G C.3
   mapping specification 5.1.31
Rule_modification
   ARM object definition 4.3.28
   ARM EXPRESS-G C.3
   mapping specification 5.1.32
Rule_priority
   ARM object definition 4.3.29
   ARM EXPRESS-G C.2
   mapping specification 5.1.33
Rule_product
   ARM object definition 4.3.30
   ARM EXPRESS-G C.2
   mapping specification 5.1.34
Rule_rejection
   ARM object definition 4.3.31
   ARM EXPRESS-G C.3
   mapping specification 5.1.35
Rule_request
   ARM object definition 4.3.32
   ARM EXPRESS-G C.3
   mapping specification 5.1.36
Rule_set
   ARM object definition 4.3.33
   ARM EXPRESS-G C.2
   mapping specification 5.1.37
rule_set
   MIM object definition 5.2.2.25
   MIM EXPRESS-G D.2
Rule_set_group
   ARM object definition 4.3.34
   ARM EXPRESS-G C.2
   mapping specification 5.1.38
rule_set_group
   MIM object definition 5.2.2.26
   MIM EXPRESS-G D.2
Rule_software_definition
   ARM object definition 4.3.35
   ARM EXPRESS-G C.2
   mapping specification 5.1.39
rule_software_definition
   MIM object definition 5.2.2.27
   MIM EXPRESS-G D.2
rule_software_definition_constraint
   ARM object definition 4.5.2
Rule_submission
   ARM object definition 4.3.36
   ARM EXPRESS-G C.3
   mapping specification 5.1.40
rule_superseded_assignment
   MIM object definition 5.2.2.28
   MIM EXPRESS-G D.2
rule_superseded_item
   MIM object definition 5.2.1.7
   MIM EXPRESS-G D.2
Rule_supersedence
   ARM object definition 4.3.37
   ARM EXPRESS-G C.3
   mapping specification 5.1.41
rule_supersedence
   MIM object definition 5.2.2.29
   MIM EXPRESS-G D.2
Rule_version
   ARM object definition 4.3.38
   ARM EXPRESS-G C.2
   mapping specification 5.1.42
rule_version_constraint
   ARM object definition 4.5.3
Scalar_variable
   ARM object definition 4.3.39
   ARM EXPRESS-G C.4
   mapping specification 5.1.43
scalar_variable
   MIM object definition 5.2.2.30
   MIM EXPRESS-G D.2
scope_select
   ARM object definition 4.2.11
   ARM EXPRESS-G C.4
Simple_clause
   ARM object definition 4.3.40
   ARM EXPRESS-G C.2
   mapping specification 5.1.44
simple_clause
   MIM object definition 5.2.2.31
   MIM EXPRESS-G D.3
Software_arm
   ARM interface 4.1
Software_mim
   MIM interface 5.2
Specification_document_arm
   ARM interface 4.1
Specification_document_arm
   ARM interface 4.1
Specification_document_mim
   MIM interface 5.2
Support_resource_arm
   ARM interface 4.1
Symbol
   ARM object definition 4.3.41
   ARM EXPRESS-G C.4
   mapping specification 5.1.45
symbol
   MIM object definition 5.2.2.32
   MIM EXPRESS-G D.3
term_select
   ARM object definition 4.2.12
   ARM EXPRESS-G C.4


© ISO 2019 — All rights reserved