ISO 13584-20:1998
(Main)Industrial automation systems and integration — Parts library — Part 20: Logical resource: Logical model of expressions
Industrial automation systems and integration — Parts library — Part 20: Logical resource: Logical model of expressions
This part of ISO 13584 specifies: — an EXPRESS schema for generic expressions; — an EXPRESS schema for expressions, that models the subset of the allowed expressions in the EXPRESS language defined in ISO 10303-11 that corresponds to integer, real, Boolean and string data types. This schema uses the resources defined in the generic expression schema. The following are within the scope of this part of ISO 13584: — the exchange of expressions that involve both constants and variables; — the function that checks whether or not a numeric expression should evaluate to an integer value; — the constraints which ensure that an expression is semantically correct; — the computation of the variables or functions used in an expression; — the function that checks if an expression may be mapped on to the SQL query language. The following are outside the scope of this part of ISO 13584: — the assignment of values to variables within some context; — the triggering mechanism that computes the value of an expression in a given context.
Systèmes d'automatisation industrielle et intégration — Bibliothèque de composants — Partie 20: Ressource logiques: Modèle logique d'expressions
General Information
Standards Content (Sample)
INTERNATIONAL ISO
STANDARD 13584-20
First edition
1998-07-01
Industrial automation systems and
integration — Parts library —
Part 20:
Logical resource: Logical model of expressions
Systèmes d'automatisation industrielle et intégration — Bibliothèque de
composants —
Partie 20: Ressource logique: Modèle logique d'expressions
A
Reference number
Page
Contents
Foreword .vi
Introduction . viii
1 Scope . 1
2 Normative references. 1
3 Terms and definitions. 2
3.1 Terms and definitions from ISO 10303-11 . 2
3.2 Terms and definitions from ISO 10303-44 . 2
3.3 Other terms and definitions. 3
4 Abbreviated terms . 5
5 Fundamental concepts and assumptions. 6
5.1 Static and dynamic data. 6
5.2 Syntax of expressions. 6
5.3 Semantics of expressions . 6
5.3.1 Semantic of expressions. 6
5.3.2 Exchange time and evaluation time . 6
5.4 Levels of abstraction in expression modelling . 7
5.4.1 Specialisation of the ISO13584_generic_expressions_schema. 7
5.4.2 Specialisation of the ISO13584_expressions_schema. 7
5.5 Modelling a variable . 7
5.5.1 Syntactic representation . 7
5.5.2 Domain of values for a variable .8
5.5.3 Semantics of a variable. 8
5.6 Mappability to the SQL language. 8
6 ISO13584_generic_expressions_schema .8
6.1 Introduction . 8
6.2 ISO13584_generic_expressions_schema entity definitions . 9
6.2.1 Generic_expression. 9
6.2.2 Simple_generic_expression. 10
6.2.3 Generic_literal. 10
6.2.4 Generic_variable. 10
6.2.5 Variable_semantics. 11
6.2.6 Environment. 11
6.2.7 Unary_generic_expression . 11
6.2.8 Binary_generic_expression. 12
6.2.9 Multiple_arity_generic_expression. 12
6.3 ISO13584_generic_expressions_schema function definitions . 12
6.3.1 Is_acyclic function. 13
6.3.2 Used_variables function. 14
© ISO 1998
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any
means, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisher.
International Organization for Standardization
Case postale 56 • CH-1211 Genève 20 • Switzerland
Internet iso@iso.ch
Printed in Switzerland
ii
©ISO
7 ISO13584_expressions_schema . 15
7.1 Introduction . 15
7.2 ISO13584_expressions_schema overall entity definitions. 16
7.2.1 Expression . 16
7.2.1.1 Variable. 16
7.2.1.2 Defined_function.17
7.2.1.3 SQL_mappable_defined_function . 17
7.3 ISO13584_expressions_schema : entity definitions for numeric expressions. 17
7.3.1 Numeric_expression . 17
7.3.2 Simple_numeric_expression. 18
7.3.3 Literal_number . 18
7.3.4 Int_literal . 19
7.3.5 Real_literal . 19
7.3.6 Numeric_variable. 19
7.3.7 Int_numeric_variable. 20
7.3.8 Real_numeric_variable . 20
7.3.9 Unary_numeric_expression . 20
7.3.10 Binary_numeric_expression. 21
7.3.11 Multiple_arity_numeric_expression. 21
7.3.12 Length_function . 21
7.3.13 Value_function . 22
7.3.14 Int_value_function. 22
7.3.15 Numeric_defined_function . 23
7.3.16 Plus_expression. 23
7.3.17 Minus_expression. 23
7.3.18 Mult_expression. 24
7.3.19 Div_expression . 24
7.3.20 Mod_expression. 24
7.3.21 Slash_expression. 25
7.3.22 Power_expression . 25
7.3.23 Unary_function_call . 25
7.3.24 binary_function_call . 26
7.3.25 Multiple_arity_function_call. 26
7.3.26 Abs_function . 26
7.3.27 Minus_function. 27
7.3.28 Sin_function . 27
7.3.29 Cos_function. 28
7.3.30 Tan_function . 28
7.3.31 Asin_function . 28
7.3.32 Acos_function . 29
7.3.33 Exp_function . 29
7.3.34 Log_function . 29
7.3.35 Log2_function . 30
7.3.36 Log10_function . 30
7.3.37 Square_root_function. 31
7.3.38 Atan_function . 31
7.3.39 Maximum_function. 31
7.3.40 Minimum_function. 32
7.3.41 Integer_defined_function .32
7.3.42 Real_defined_function . 32
7.4 Boolean_expression. 33
7.4.1 Simple_boolean_expression. 33
7.4.2 Boolean_literal . 34
7.4.3 Boolean_variable . 34
7.4.4 Unary_boolean_expression . 34
7.4.5 Not_expression. 34
7.4.6 Odd_function. 35
iii
©ISO
7.4.7 Binary_boolean_expression. 35
7.4.8 Multiple_arity_boolean_expression. 36
7.4.9 Xor_expression. 36
7.4.10 Equals_expression. 37
7.4.11 And_expression . 37
7.4.12 Or_expression. 37
7.4.13 Comparison_expression . 38
7.4.14 Comparison_equal.
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.