1、 KSKSKSKSKSKSKSK KSKSKS KSKSK KSKS KSK KS KS X ISO/IEC 10746 4 ： KS X ISO/IEC 10746 4:2011 2011 12 30 http:/www.kats.go.krKS X ISO/IEC 10746 4:2011 : ( ) ( ) () () ( ) : () KAIST () STA LG-CNS : (http:/www.standard.go.kr) ： ：2001 12 31 ：2011 12 30 2011-0676 ： ： ( 02-509-7262) (http:/www.kats.go.kr).
2、 10 5 , . KS X ISO/IEC 10746 4:2011 i ii . iii 1 1 2 2 3 .2 3.1 ISO/IEC 8807 2 3.2 ITU-T Z.100 .3 3.3 Z- 3 3.4 ISO/IEC 9074 3 4 3 4.1 LOTOS .3 4.2 ACT ONE .11 4.3 SDL-92 .19 4.4 Z .26 4.5 ESTELLE .33 KS X ISO/IEC 10746 4:2011 .40 KS X ISO/IEC 10746 4:2011 ii . KS X ISO/IEC 10746 4:2001 . . , , . , ,
3、 . KS X ISO/IEC 10746 “ ” . KS X ISO/IEC 10746 1, 1： KS X ISO/IEC 10746 2, 2： KS X ISO/IEC 10746 3, 3： KS X ISO/IEC 10746 4, 4： KS X ISO/IEC 10746 4:2011 iii 1998 1 ISO/IEC 10746 4, Information technology Open Distributed Processing Reference model： Architectural semantics . ODP . ITU-T Rec. X.902 |
4、 ISO/IEC 10746 2, 8. 9. ODP . . . ITU-T Rec. X.903 | ISO/IEC 10746 3 . ODP . KS X ISO/IEC 10746 4:2011 ： Information technology Open Distributed Processing Reference model： Architectural semantics 1 (ODP) . ODP . , , , . (RM-ODP) (ITU-T Recs. X.901 X.904 | ISO/IEC 10746 ) . RM-ODP . ITU-T Rec. X.901
5、 | ISO/IEC 10746 1： , ODP . . ITU-T Rec. X.902 | ISO/IEC 10746 2： , , . ITU-T Rec. X.903 | ISO/IEC 10746 3 . . ITU-T Rec. X.903 | ISO/IEC 10746 3： . ODP . ITU-T Rec. X.902 | ISO/IEC 10746 2 . . ITU-T Rec. X.904 | ISO/IEC 10746 4： ： ITU-T Rec. X.902 | ISO/IEC 10746 2 8. 9. ODP ITU-T Rec. X.903 | ISO/
6、IEC 10746 3 . . . ODP . ITU-T Rec. X.902 | ISO/IEC 10746 2 , ITU-T Rec. X.903 | ISO/IEC 10746 3 . , LOTOS, ESTELLE, SDL, Z . ODP . , ITU-T Rec. X.902 | ISO/IEC 10746 2 ITU-T Rec. X.903 | ISO/IEC 10746 3 . . KS X ISO/IEC 10746 4:2011 2 ODP . ITU-T Rec. X.902 | ISO/IEC 10746 2 , . ODP . TR 10167(ESTEL
7、LE, LOTOS, SDL ) . ITU-T Rec. X.902 | ISO/IEC 10746 2 . ODP . . ODP LOTOS, SDL, ESTELLE Z ODP 2 . . ( ) . ITU ITU-T . KS X ISO/IEC 13568, Z , , ISO/IEC 8807： 1989, Information processing systems Open Systems Interconnection LOTOS A formal description technique based on the temporal ordering of obser
8、vational behaviour ITU-T Recommendation Z.100(1993), CCITT Specification and Description Language(SDL) ISO/IEC TR 10167： 1991, Information technology Open System Interconnection Guidelines for the application of Estelle, LOTOS and SDL The Z Notation, A Reference Manual, J.M. Spivey, International Se
9、ries in Computer Science, Second Edition, Prentice Hall International, 1992 ISO/IEC 9074： 1997, Information technology Open Systems Interconnection Estelle： A formal description technique on an extended transition model 3 3.1 ISO/IEC 8807 ISO/IEC 8807 . , , , , , , , , , , , , , , , , , , KS X ISO/I
10、EC 10746 4:2011 3 , , , , , , , , , , 3.2 ITU-T Z.100 ITU-T Rec. Z.100 . , , , ( ), , , , , , , , , , , , , , , , , , , , ( ), , , , , , , ( ), , , , , ( ), , , , , , , 3.3 Z Z . , , , , , , , , ( , , ), , 3.4 ISO/IEC 9074 ISO/IEC 9074 . , , , , , , , DELAY , , , , , FROM , , , , , , , , , , , , , P
11、ROVIDED , , , , , TO , , , , WHEN 4 4.1 LOTOS LOTOS (ISO/IEC 8807) (FSL). . LOTOS(ISO/IEC 8807) . LOTOS ITU-T Rec. X.902 | ISO/IEC 10746 2 . ACT ONE . ACT ONE SDL-92 , ACT ONE . 4.2 4.1.1 4.1.1.1 LOTOS 4.1.1.2 ( ) . LOTOS , KS X ISO/IEC 10746 4:2011 4 . . 4.1.1.3 LOTOS . LOTOS . i . LOTOS . . . . !
12、!： . ? ! ? ! . ! ? . ? ?： . , . . . . LOTOS . 4.1.1.4 . LOTOS , . . , . , . . , . 4.1.1.5 , , . . KS X ISO/IEC 10746 4:2011 5 4.1.1.6 ( ) LOTOS . . . . . 4.1.1.7 ( ) . . 4.1.1.8 ( ) . . . 4.1.1.9 LOTOS . . ( ) LOTOS . LOTOS . LOTOS (hidein) . i . . LOTOS . . , 4.1.1.10 LOTOS , . , LOTOS . 4.1.1.11 .
13、 4.1.2 KS X ISO/IEC 10746 4:2011 6 4.1.2.1 ： LOTOS . . (|) (| |gate-list|) ( ) ( ) () ： . . 4.1.2.2 , , , LOTOS 4.1.2.3 ： . , . ： . . ACT ONE . . , . . , . 4.1.2.4 LOTOS , . LOTOS . , LOTOS . , , . . . P Q LOTOS , Q P (Q conf P .), Q P . P P , Q Q P Q . Q A , P A . P Q conf P , Q P . Q P P . KS X IS
14、O/IEC 10746 4:2011 7 ( .) ( .) . (4.1.2.5 ). 4.1.2.5 , . . P Q LOTOS , Q P (Q extends P .) Q P . P Q . Q P (Q reduces P .) Q P . Q P . 4.1.2.6 ( ) . 4.1.2.7 LOTOS . LOTOS . LOTOS ( ) . . , . , i, . LOTOS . , LOTOS . , ( ) . , LOTOS . . . . 4.1.1.8 , . LOTOS ( ) , ITU-T Rec. X.902 | ISO/IEC 10746 2 LOTOS . LOTOS . 4.1.2.8 . , . KS X ISO/IEC 10746 4:2011 8 . , . LOTOS ITU-T Rec. X.902 | ISO/IEC 10746 2 LOTOS . . 4.1.2.9 / LOTOS LOTOS . LOTOS . . LOTOS . 4.1.2.10 / LOTOS . 4.1.2.11 ： . , . LOTOS LOTOS “where“ . ： . . LOTOS
