1、 KS X ISO/IEC 105141 KSKSKSKS SKSKSKS KSKSKS SKSKS KSKS SKS KS 1：Modula2, KS X ISO/IEC 105141 : 2007 (2012 ) 2007 11 30 http:/www.kats.go.krKS X ISO/IEC 105141：2007 : ( ) ( ) SJ ( ) : (JTC1/SC 22) () ( ) Microsoft IBM : (http:/www.standard.go.kr) ： ：2003 10 28 ：2007 11 30 ：2012 12 28 ： 2012-0797 ： (
2、JTC1/SC 22) ( 02-509-7262) (http:/www.kats.go.kr). 10 5 , . KS X ISO/IEC 105141 : 2007 (2012 ) 1：Modula2, Information technology Programming languages Part 1 ：Modula 2, base language , KS 1996 1 ISO/IEC 105141, Information technologyProgramming languagesPart 1： Modula2, base language . 1 1.1 . 2 2 2
3、 1.2 . , (literal), 2 2 , , 2 , 1.3 . KS X ISO/IEC 105141：2007 2 (packedset type) 7.1.7.1 ( ) ( ) (encoding) 1.2 , , 2 . . ( ) . ISO/IEC 105141：1996 2. Normative References . 3 , 3.1 . E . 3.1.1 (source code) 2 (component) . 3.1.2 (separate module) 2 , , , (encapsulation) , . 2 , 2 . 2 . 2 . 3.1.3 (
4、library) 3.1.4 (library module) 3.1.5 (standard library) KS X ISO/IEC 105141：2007 3 . 8. 9. 3.1.6 (predefined) 2 ( , ) 3.1.7 (pervasive identifier) , , . 3.1.8 (system module) . . 3.1.9 (computer system) (firmware) ( ) 3.1.10 -2 (Modula-2 implementation) 2 . 1 , . 2 (4.1 ). 3 , (inline) . 3.1.11 (st
5、andard library module implementation) 2 3.1.12 (implementor) 2 3.1.13 (processor) 2 . (cross) . (host) KS X ISO/IEC 105141：2007 4 , (target) . . 3.1.14 (abstract implementation module) VDMSL ( B ) 3.1.15 (sourced implementation module) , 3.1.16 (standard mode) 3.1.17 (implementation-defined) . , INT
6、EGER , SYSTEM.CAST . 3.1.18 (implementation-dependent) . , . . 3.1.19 (error) ( , .) . a a2 a1( a2) . 3.1.20 (exception) , NIL . . . 3.1.21 (exception raising) KS X ISO/IEC 105141：2007 5 1 . mandatory-detection , non-mandatory- detection (4.7 ). 2 . , . 3.1.22 (declare-before-use-in-declarations) (
7、). , . 6.2.7 . 3.1.23 (declare-before-use) (, ). , . 6.2.7 . 3.2 . 2 , , . 2 10.1 VDMSM(ISO/IEC 13817) . 2 5 . , , , , . . 3.2.1 (lexis) 2 (Standard Syntactic Metalanguage)(BS 6152, 1981) 5. . 3.2.2 (concrete syntax) (productions) (Standard Syntactic Metalanguage)(BS 6152, 1981) 6. . . ( , constant
8、expression expression ). . C . KS X ISO/IEC 105141：2007 6 3.2.3 (abstract syntax) VDMSL (version). . , . VDLSM . 3.2.4 (declaration semantics) , , . (6.2 ). (6.11 ). VDMSL . 3.2.5 (static semantics) VDMSL 2 ( ) . ( , constant expression ). 3.2.6 (dynamic demantices) . VDMSL (6.12.1 ). 3.2.7 (propert
9、ies) VDMSL 3.2.8 (domains) 2 VDMSL . . VDMSL . , , , , . . , , , . . KS X ISO/IEC 105141：2007 7 , . , , . . (binding) B . 3.3 . 3.3.1 . ( ) , , , . . . . VDMSM annotations . 3.3.2 . (sans-sief) . (font) . national character VDMSL , ( , t-variable-designator). VDMSL . 2 (font) . CONST PI3.141 592 653
10、 589 793 238 462 643 383 279 502 884 197 2 . . 3.3.3 (pervasive) . . (font) . BOOLEAN BOOLEAN , . KS X ISO/IEC 105141：2007 8 3.3.4 (non) VDMSL 6. , , . 2 . (pseudo) ( , , 7. ). . 4. . , VDMSL implementation-defined：Char-set . 3.3.5 . . VDMSL . , Strings . PROCEDURE Append (source：ARRAY OF CHAR, VAR
11、destination：ARRAY OF CHAR), String.Append . Append(source, destination) source destination . destination destination . destination . destination destination . source . 4 ISO/IEC 105141：1996 4. Requirements for Implementations . 5 ISO/IEC 105141：1996 5. The Lexis . 6 ISO/IEC 105141：1996 6. The Langua
12、ge . KS X ISO/IEC 105141：2007 9 7 ISO/IEC 105141：1996 7. System Modules . 8 ISO/IEC 105141：1996 8. Required Library Modules . 9 ISO/IEC 105141：1996 9. Standard Library Modules . A() ISO/IEC 105141：1996 Annex AMinimum Limit Specifications . B() ISO/IEC 105141：1996 Annex BThe Specification of Library
13、Modules . C() 2 ISO/IEC 105141：1996 Annex CCollected Modula2 Concrete Syntax . D() 2 ISO/IEC 105141：1996 Annex DCollected Modula2 Abstract Syntax . E() 2 ISO/IEC 105141：1996 Annex EModula2 Glossary . F() ISO/IEC 105141：1996 Annex FParticipating Individuals and Organisations . KS X ISO/IEC 105141：200
14、7 10 KS X ISO/IEC 105141 : 2007 , . 1 2 . Niklaus Wirth 2 . 2 (hiding) . 2 (coroutine) , . , , . 2 VDMSM(Vienna Development Method Specification Language) . 2 . 2 ISO/IEC 105141 ISO/IEC JTC 1/SC 13 WG2 1996 IS . 1998 12 2 (ISO/IEC 105142) , 2 (ISO/IEC 105143) IS . ISO/IEC 105141 (KS) (JTC1/ SC22) 20
15、03 5 2003 9 (KS) . 3 . 4 ISO/IEC 109671：1994ISO/IEC 138171 BS 6154：1981 IEC 60559：1989 KS X ISO/IEC 109671：2001, 1： KS X ISO/IEC 138171, , 1： 5. (4. ) KS X ISO/IEC 105141：2007 11 2 . . 2 5. 6. 6., 7. . 2 . 6. 7. . 2 8. , . 2 , . . 2 , . (5. ) 2 . 2 , , , . 2 . 2 , , , . 2 , , , , . (6. ) 2 . 2 , , , . , , , , , . . . . . , .
