ISO/IEC INTERNATIONAL STANDARD 15437 First edition 2001-08-15 Information technology Enhancements to LOTOS (E-LOTOS) Technologies de I'information - Mises en valeur de LOTOS (E-LOTOS) Reference number ISO/IEC 15437:2001(E) IEC ISO/IEC2001 HS unde Not for Resale ISO/IEC 15437:2001(E) PDF disclaimer This PDF file may contain embedded typefaces. In accordance with Adobe's 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 performing the editing. In downloading this area. Adobe is a trademark of Adobe Systems Incorporated. Details of the software products used to create this PDF file 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 ?ISO/IEC2001 All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or utilized in any form or by any means, electronic 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 [email protected] Web www.iso.ch Printed in Switzerland @ ISO/IEC 2001 - All rights reserved itted without license from IHS Not for Resale ISO/IEC 15437:2001(E) Contents 1 Scope 1 2 Conformance 1 3 Normative reference 1 4 Terms, definitions and notation 1 5 E-LOTOS grammar 2 5.1 Lexical Structure 2 5.1.1 Character set 2 5.1.2 Comments and separators 3 5.1.3 Identifiers 3 5.1.4 Reserved words 3 5.1.5 Identifiers classes 4 5.1.6 Non-terminals classes 4 5.2 Syntax of the language 5 5.2.1 Specification . 5 5.2.2 Top-level declaration 6 5.2.3 Module body 6 5.2.4 Module expression 6 5.2.5 Module formal parameters 6 5.2.6 Interface expressions 6 5.2.7 Record module expression 6 5.2.8 Interface body 7 5.2.9 Formal parameter list 7 5.2.10 Renaming/Instantiation 7 5.2.11 Equations declaration 7 5.2.12 Simple equations declaration 8 5.2.13 Declarations 8 5.2.14 Expressions 8 5.2.15 Expression Atoms 8 5.2.16 Behaviour expressions 9 5.2.17 Disabling behaviour expression 10 5.2.18 Synchronizationbehaviourexpression 10 @ ISO/IEC 2001 - All rights reserved ii CopyrightInternational Organization for Standardization ed without license from IHS Not for Resale