1、BSI Standards PublicationNO COPYING WITHOUT BSI PERMISSION EXCEPT AS PERMITTED BY COPYRIGHT LAWBS ISO13584-20:1998IncorporatingcorrigendumJuly 2014ICS 25.040.40; 35.240.50BS ISO 13584-20:1998ISBN 978 0 580 89296 7Amendments/corrigenda issued since publicationDate Comments30 April 2015 ISO corrigendu
2、m July 2014 appended in NationalAnnex NA (normative)This British Standard, havingbeen prepared under thedirection of the DISC Board,was published under theauthority of the StandardsCommittee and comes intoeffect on 15 December 1998 The British Standards Institution 2015.Published by BSI StandardsLim
3、ited 2015National forewordThis British Standard is the UK implementation of ISO 13584-20:1998,incorporating corrigendum July 2014.The start and finish of text introduced or altered by corrigendum is indicated inthe text by tags. Text altered by ISO corrigendum July 2014 is indicated in thetext by .T
4、he UK participation in its preparation was entrusted by Technical CommitteeAMT/4, Industrial data and manufacturing interfaces.A list of organizations represented on this committee can be obtained onrequest to its secretary.The publication does not purport to include all the necessary provisions of
5、acontract. Users are responsible for its correct application.Compliance with a British Standard cannot confer immunity fromlegal obligations.AReference numberISO 13584-20:1998(E)INTERNATIONALSTANDARDISO13584-20First edition1998-07-01Industrial automation systems andintegration Parts library Part 20:
6、Logical resource: Logical model of expressionsSystmes dautomatisation industrielle et intgration Bibliothque decomposants Partie 20: Ressource logique: Modle logique dexpressionsBS ISO 13584-20:1998ISO 13584-20:1998(E) ISO 1998All rights reserved Unless otherwise specified, no part of this publicati
7、on may be reproduced or utilized in any form or by anymeans, electronic or mechanical, including photocopying and microfilm, without permission in writing from the publisherInternational Organization for StandardizationCase postale 56 CH-1211 Genve 20 SwitzerlandInternet isoisochPrinted in Switzerla
8、ndiiContentsPageForeword viIntroduction viii1 Scope 12 Normative references 13 Terms and definitions 231 Terms and definitions from ISO 10303-11 232 Terms and definitions from ISO 10303-44 233 Other terms and definitions 34 Abbreviated terms 55 Fundamental concepts and assumptions 651 Static and dyn
9、amic data 652 Syntax of expressions 653 Semantics of expressions 6531 Semantic of expressions 6532 Exchange time and evaluation time 654 Levels of abstraction in expression modelling 7541 Specialisation of the ISO13584_generic_expressions_schema 7542 Specialisation of the ISO13584_expressions_schema
10、 755 Modelling a variable 7551 Syntactic representation 7552 Domain of values for a variable 8553 Semantics of a variable 856 Mappability to the SQL language 86 ISO13584_generic_expressions_schema 861 Introduction 862 ISO13584_generic_expressions_schema entity definitions 9621 Generic_expression 962
11、2 Simple_generic_expression 10623 Generic_literal 10624 Generic_variable 10625 Variable_semantics 11626 Environment 11627 Unary_generic_expression 11628 Binary_generic_expression 12629 Multiple_arity_generic_expression 1263 ISO13584_generic_expressions_schema function definitions 12631 Is_acyclic fu
12、nction 13632 Used_variables function 14BS ISO 13584-20:1998ISOISO 13584-20:1998(E)iii7 ISO13584_expressions_schema 1571 Introduction 1572 ISO13584_expressions_schema overall entity definitions 16721 Expression 167211 Variable 167212 Defined_function 177213 SQL_mappable_defined_function 1773 ISO13584
13、_expressions_schema : entity definitions for numeric expressions 17731 Numeric_expression 17732 Simple_numeric_expression 18733 Literal_number 18734 Int_literal 19735 Real_literal 19736 Numeric_variable 19737 Int_numeric_variable 20738 Real_numeric_variable 20739 Unary_numeric_expression 207310 Bina
14、ry_numeric_expression 217311 Multiple_arity_numeric_expression 217312 Length_function 217313 Value_function 227314 Int_value_function 227315 Numeric_defined_function 237316 Plus_expression 237317 Minus_expression 237318 Mult_expression 247319 Div_expression 247320 Mod_expression 247321 Slash_express
15、ion 257322 Power_expression 257323 Unary_function_call 257324 binary_function_call 267325 Multiple_arity_function_call 267326 Abs_function 267327 Minus_function 277328 Sin_function 277329 Cos_function 287330 Tan_function 287331 Asin_function 287332 Acos_function 297333 Exp_function 297334 Log_functi
16、on 297335 Log2_function 307336 Log10_function 307337 Square_root_function 317338 Atan_function 317339 Maximum_function 317340 Minimum_function 327341 Integer_defined_function 327342 Real_defined_function 3274 Boolean_expression 33741 Simple_boolean_expression 33742 Boolean_literal 34743 Boolean_variable 34744 Unary_boolean_expression 34745 Not_expression 34746 Odd_function