ISO/TS 10303-1739:2019 Production rule


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
D MIM 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