CAN CSA-ISO IEC 15437-2002 Information technology - Enhancements to LOTOS (E-LOTOS).pdf

1、 Reference numberISO/IEC 15437:2001(E)ISO/IEC 2001Information technology Enhancements to LOTOS (E-LOTOS) Technologies de linformation Mises en valeur de LOTOS (E-LOTOS) National Standard of CanadaCAN/CSA-ISO/IEC 15437:02(ISO/IEC 15437:2001)International Standard ISO/IEC 15437:2001 (first edition, 20

2、01-08-15) has been adopted without modification(IDT) as CSA Standard CAN/CSA-ISO/IEC 15437:02, which has been approved as a National Standard of Canadaby the Standards Council of Canada.ISBN 1-55324-901-1 December 2002The Canadian Standards Association (CSA), The Standards Council of Canada is theun

3、der whose auspices this National Standard has been coordinating body of the National Standards system, produced, was chartered in 1919 and accredited by a federation of independent, autonomousthe Standards Council of Canada to the National organizations working towards the furtherStandards system in

4、 1973. It is a not-for-profit, development and improvement of voluntarynonstatutory, voluntary membership association standardization in the national interest.engaged in standards development and certification The principal objects of the Council are to foster activities. and promote voluntary stand

5、ardization as a means CSA standards reflect a national consensus of of advancing the national economy, benefiting theproducers and users including manufacturers, health, safety, and welfare of the public, assisting consumers, retailers, unions and professional and protecting the consumer, facilitati

6、ng domestic organizations, and governmental agencies. The and international trade, and furthering internationalstandards are used widely by industry and commerce cooperation in the field of standards.and often adopted by municipal, provincial, and A National Standard of Canada is a standard whichfed

7、eral governments in their regulations, particularly has been approved by the Standards Council ofin the fields of health, safety, building and Canada and one which reflects a reasonableconstruction, and the environment. agreement among the views of a number of capableIndividuals, companies, and asso

8、ciations across individuals whose collective interests provide to theCanada indicate their support for CSAs standards greatest practicable extent a balance ofdevelopment by volunteering their time and skills to representation of producers, users, consumers, andCSA Committee work and supporting the A

9、ssociations others with relevant interests, as may be appropriateobjectives through sustaining memberships. The to the subject in hand. It normally is a standardmore than 7000 committee volunteers and the 2000 which is capable of making a significant and timelysustaining memberships together form CS

10、As total contribution to the national interest.membership from which its Directors are chosen. Approval of a standard as a National Standard ofSustaining memberships represent a major source of Canada indicates that a standard conforms to theincome for CSAs standards development activities. criteria

11、 and procedures established by the StandardsThe Association offers certification and testing Council of Canada. Approval does not refer to theservices in support of and as an extension to its technical content of the standard; this remains thestandards development activities. To ensure the continuin

12、g responsibility of the accreditedintegrity of its certification process, the Association standards-development organization.regularly and continually audits and inspects products Those who have a need to apply standards arethat bear the CSA Mark. encouraged to use National Standards of CanadaIn add

13、ition to its head office and laboratory complex whenever practicable. These standards are subject in Toronto, CSA has regional branch offices in major to periodic review; therefore, users are cautioned centres across Canada and inspection and testing to obtain the latest edition from the organizatio

14、nagencies in eight countries. Since 1919, the preparing the standard.Association has developed the necessary expertise to The responsibility for approving National Standards meet its corporate mission: CSA is an independent of Canada rests with theservice organization whose mission is to provide an

15、Standards Council of Canadaopen and effective forum for activities facilitating the 270 Albert Street, Suite 200exchange of goods and services through the use of Ottawa, Ontario, K1P 6N7standards, certification and related services to meet Canadanational and international needs.For further informati

16、on on CSA services, write toCanadian Standards Association5060 Spectrum Way, Suite 100Mississauga, Ontario, L4W 5N6CanadaAlthough the intended primary application of this Standard is stated in its Scope, it is importantto note that it remains the responsibility of the users to judge its suitability

17、for their particular purpose.Registered trade-mark of Canadian Standards AssociationCAN/CSA-ISO/IEC 15437:02 Information technology Enhancements to LOTOS (E-LOTOS)December 2002 Canadian Standards Association CSA/1CAN/CSA-ISO/IEC 15437:02Information technology Enhancements to LOTOS (E-LOTOS)CSA Prefa

18、ceStandards development within the Information Technology sector is harmonized with internationalstandards development. Through the CSA Technical Committee on Information Technology (TCIT),Canadians serve as the Canadian Advisory Committee (CAC) on ISO/IEC Joint Technical Committee 1 onInformation T

19、echnology (ISO/IEC JTC1) for the Standards Council of Canada (SCC), the ISO memberbody for Canada and sponsor of the Canadian National Committee of the IEC. Also, as a member of theInternational Telecommunication Union (ITU), Canada participates in the International Telegraph andTelephone Consultati

20、ve Committee (ITU-T).This International Standard was reviewed by the CSA TCIT under the jurisdiction of the StrategicSteering Committee on Information Technology and deemed acceptable for use in Canada. (Acommittee membership list is available on request from the CSA Project Manager.) From time to t

21、ime,ISO/IEC may publish addenda, corrigenda, etc. The CSA TCIT will review these documents for approvaland publication. For a listing, refer to the CSA Information Products catalogue or CSA Info Update orcontact a CSA Sales representative. This Standard has been formally approved, without modificati

22、on, bythe Technical Committee and has been approved as a National Standard of Canada by the StandardsCouncil of Canada.December 2002 Canadian Standards Association 2002All rights reserved. No part of this publication may be reproduced in any form whatsoever without the prior permissionof the publish

23、er. ISO/IEC material is reprinted with permission. Where the words “this International Standard” appearin the text, they should be interpreted as “this National Standard of Canada”. Inquiries regarding this National Standard of Canada should be addressed to Canadian Standards Association 5060 Spectr

24、um Way, Suite 100, Mississauga, Ontario, Canada L4W 5N6 1-800-463-6727 416-747-4044www.csa.caReference numberISO/IEC 15437:2001(E)ISO/IEC 2001INTERNATIONAL STANDARD ISO/IEC15437First edition2001-08-15Information technology Enhancements to LOTOS (E-LOTOS) Technologies de linformation Mises en valeur

25、de LOTOS (E-LOTOS) ISO/IEC 15437:2001(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobes licensing policy, this file may be printed or viewed but shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performin

26、g the editing. In downloading this file, parties accept therein the responsibility of not infringing Adobes licensing policy. The ISO Central Secretariat accepts no liability in this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF fi

27、le can be found in the General Info relative to the file; the PDF-creation parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In the unlikely event that a problem relating to it is found, please inform the Central Secre

28、tariat at the address given below. ISO/IEC 2001 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 either ISO at the

29、 address below or ISOs member body in the country of the requester. ISO copyright office Case postale 56 CH-1211 Geneva 20 Tel. + 41 22 749 01 11 Fax + 41 22 749 09 47 E-mail copyrightiso.ch Web www.iso.ch ii ISO/IEC 2001 All rights reserved ISO/IEC 15437:2001(E)Contents1 Scope . . . . . . . . . . .

30、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 Conformance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 Normative reference . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 Terms, definitions and notation

31、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 E-LOTOS grammar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25.1 Lexical Structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25.1.1 Character set . . . . . . . . . .

32、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25.1.2 Comments and separators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.1.3 Identifiers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.1.4 Reserved words . . . . .

33、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35.1.5 Identifiers classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45.1.6 Non-terminals classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45.2 Syntax of the la

34、nguage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55.2.1 Specification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55.2.2 Top-level declaration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65.2.3 Module

35、 body . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65.2.4 Module expression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65.2.5 Module formal parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65.2.6 In

36、terface expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65.2.7 Record module expression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65.2.8 Interface body . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

37、75.2.9 Formal parameter list . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75.2.10 Renaming/Instantiation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75.2.11 Equations declaration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

38、. . . . . 75.2.12 Simple equations declaration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85.2.13 Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85.2.14 Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

39、. . . . . . . . . . . 85.2.15 Expression Atoms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85.2.16 Behaviour expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95.2.17 Disabling behaviour expression . . . . . . . . . . . . . . . .

40、. . . . . . . . . . . . . . . . 105.2.18 Synchronization behaviour expression . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10c ISO/IEC 2001 All rights reserved iiiISO/IEC 15437:2001(E)5.2.19 Concurrency behaviour expression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.2

41、.20 Selection behaviour expression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.2.21 Suspend/Resume behaviour expression . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.2.22 Interleaving behaviour expression . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

42、 . . 105.2.23 Behaviour term . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105.2.24 Behaviour atom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115.2.25 Type expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

43、 . . . . . . . . 125.2.26 Record type expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.2.27 Value expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125.2.28 Record value expressions . . . . . . . . . . . . . . . . . . . .

44、 . . . . . . . . . . . . . . . 135.2.29 Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135.2.30 Gate parameter list . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135.2.31 Actual parameter list . . . . . . . . . . . . . .

45、 . . . . . . . . . . . . . . . . . . . . . . . 135.2.32 Exception parameter list . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135.2.33 Record patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145.2.34 Behaviour pattern matching . . . .

46、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145.2.35 Expression pattern matching . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145.2.36 In parameter list . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145.2.37 In parameter . . . . .

47、. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146 E-LOTOS abstract syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146.1 Overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146.1.1 Syntactic sugar . .

48、 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156.1.2 Abstract syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156.2 Concrete to abstract syntactic translation . . . . . . . . . . . . . . . . . . . . . . . . . . 166.2.1 Interface

49、body . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 166.2.2 Formal parameter list . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186.2.3 Declarations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186.2.4 Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216.2.5 Expression atoms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216.2.6 Behaviour expressions . . . . . . . . . .