ISO INTERNATIONAL STANDARD 13584-20 First edition 1998-07-01 Industrial automation systems and integration Parts library - Part 20: Logical resource: Logical model of expressions Systemes d'automatisation industrielle et integration Bibliotheque de composants Partie 20: Ressource logique: Modele logique d'expressions Tso Reference number ISO 13584-20:1998(E) HS under ted without license from IHS Not for Resale ISO 13584-20:1998(E) Contents Page Foreword. .vi Introduction. .. vili 1 Scope . 2 Normative references... 3 Terms and definitions... 3.1 Terms and definitions from ISO 10303-11 ... 3.2 Terms and definitions from ISO 10303-44 3.3 Other terms and definitions.... 4 Abbreviated terms.. 5 5 Fundamental concepts and assumptions.. 5.1 Static and dynamic data... 5.2 Syntax of expressions. 6 5.3 Semantics of expressions ... 6 5.3.1Semanticofexpressions..... 5.3.2 Exchange time and evaluation time . 5.4 Levels of abstraction in expression modelling ..... 6 5.4.1SpecialisationoftheISO13584_generic_expressions_schema. 5.4.2 Specialisation of the IsO13584_expressions_schema... 5.5 Modelling a variable .... 5.5.1Syntacticrepresentation.. 5.5.2 Domain of values for a variable . 5.5.3 Semantics of a variable.. 8 5.6 Mappability to the SQL language ... 6 ISsO13584_generic_expressions_schema .... 6.1 Introduction .... 8 6.2 IsO13584_generic_expressions_schema entity definitions . 6.2.1 Generic_expression .... 6.2.2 Simple_generic_expression... 10 6.2.3 Generic_literal... 6.2.4 Generic_variable. 10 6.2.5 Variable_semantics... 6.2.6 Environment. 6.2.7 Unary_generic_expression 6.2.8 Binary_generic_expression.. 12 6.2.9 Multiple_arity_generic_expression... 12 6.3 IsO13584_generic_expressions_schema function definitions. 6.3.1 is_acyclic function.. 6.3.2 Used_variables function.... @ISO1998 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 Geneve 20 · Switzerland Internet [email protected] Printed in Switzerland Copyright International Organization for Standardization nse from IHS Not for Resale @ISO ISO 13584-20:1998(E) 7Is013584_expressions_schema .... 7.1 Introduction ... 15 7.2 IsO13584_expressions_schema overall entity definitions.. 16 7.1 Expression ... 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..... 7.3.1 Numeric_expression.. 17 7.3.2Simple_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. 7.3.8Real numericvariable. .20 7.3.9 Unary_numeric_expression . .20 7.3.10 Binary_numeric_expression.. 21 7.3.11 Multiple_arity_numeric_expression..... .21 7..2 Length_function ........... 7.3.13 Value_function . .22 7.3.14 Int_value_function..... .22 7.3.15 Numeric_defined_function 7.3.16 Plus_expression.. 23 7.3.17 Minus_expression... .23 7.3.18 Mult_expression... .24 7.3.19 Div_expression ... 7.3.20 Mod_expression.. .24 7.3.21 Slash_expression.... .25 7.3.22 Power_expression .. 7.3.23 Unary_function_call 25 7.3.24 binary_function_cal... 7.3.25 Multiple_arity_function_call. .26 7.3.26 Abs_function ... 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.31 Asin_function ...... 7.3.32 Acos_function .29 7.3.33 Exp_function ... 7.3.34 Log_function.. 7.3.35 Log2_function . .30 7.3.36 Log10_function . 7.3.37 Square_root_function. .31 7.3.38 Atan_function.... 7.3.39 Maximum_function. .31 7.40 Minimum_function...... .. 32 7.3.41 Integer_defined_function .. 7.3.42 Real_defined_function ... 32 7.4 Boolean_expression.... 7.4.1 Simple_boolean_expression.... .33 7.4.2 Boolean literal..... ..34 7.4.3 Boo