KS X ISO IEC 11411-2009 Information technology－Representation for human communication of state transition of software《信息技术 软件状态转换的人际通信表示》.pdf

1、 KSKSKSKS KSKSKSK KSKSKS KSKSK KSKS KSK KS KS X ISO/IEC 11411 KS X ISO/IEC 11411 :2009 2009 12 29 http:/www.kats.go.krKS X ISO/IEC 11411:2009 : ( ) ( ) () ( ) S J ( ) : (JTC1/SC7) () ( ) S T A () TTA () L G - C N S () ( ) KS X ISO/IEC 11411:2009 : (http:/www.standard.go.kr) ： ：1998 12 23 ：2009 12 29

2、 2009-0928 ： ：(JTC1/SC7) ( 02-509-7262) (http:/www.kats.go.kr). 10 5 , . KS X ISO/IEC 11411:2009 i ii 1 1 2 .1 3 .2 3.1 2 3.2 2 3.3 .2 4 2 4.1 .2 4.2 .4 4.3 .5 5 .5 5.1 .5 5.2 .7 5.3 .7 A() .9 B() 10 C() 11 KS X ISO/IEC 11411:2009 .12 KS X ISO/IEC 11411:2009 ii . ISO/IEC 2 1995 1 ISO/IEC 11411, Info

3、rmation technologyRepresentation for human communication of state transition of software . . ISO IEC . ISO/IEC JTC1/ SC7() . KS X ISO/IEC 11411:2009 Information technologyRepresentation for human communication of state transition of software 1 . , , . . /(command) 2 . 2.1 (state) . (state name) . 2.

4、2 (transition) . . (action) . . (direction part) (condition part) (action part) . KS X ISO/IEC 11411:2009 2 . . . . 3 3.1 a) . . . b) . . . c) / . . / , . d) , , / . , . 3.2 a) . . b) . . 3.3 . a) . b) . c) . d) . 4 4.1 4.1.1 . KS X ISO/IEC 11411:2009 3 . 4.1.2 4.1.2.1 . a) . b) . c) / . . d) . 4.1.

5、2.2 . . . a) . KS X ISO/IEC 11411:2009 4 . . b) . . . 4.2 ： . a) . . , , / 4.1.2 . b) , , / . / / KS X ISO/IEC 11411:2009 5 c) . , . 4.3 4.3.1 (drawing) 4.1.2 . . . . 4.3.2 (forms) . . 5 5.1 5.1.1 . . . (state No.) . . ( ) () KS X ISO/IEC 11411:2009 6 5.1.2 5.1.2.1 a) . 5. ( ) . b) . c) / . . A B A

6、B / KS X ISO/IEC 11411:2009 7 d) . 5.1.2.2 . . a) . . b) , . 5.2 ： . a) . , 5.1.2.1 . b) . 5.3 5.3.1 KS X ISO/IEC 11411:2009 8 5.1.2 . 5.3.2 . KS X ISO/IEC 11411:2009 9 A () A.1 / TERM / / NX_PAGE , / , / NX_PAGE / / KS X ISO/IEC 11411:2009 10 B () / 1 2 3 4 2 TERM 1 3 4 NX_PAGE 3 4 , 3 , 4 2 2 B.1

7、KS X ISO/IEC 11411:2009 11 C () 1 Zohar Manna, Mathematical theory of computation, 1974, McGraw-Hill Inc. 2 Paul T Ward, Stephen J Mellor, Structured development for real-time systems, 1985, Prentice Hall 3 Edward Yourdon, Modern structured analysis, 1989, Yourdon Press 4 Wilfried Brauer, Net theory

8、 and application, Proceedings of the advanced course on general net theory of processes and systems, Hamburg, October 1979, Springer . 1 CCITT Rec. Z. 100 and Z. 120 CCITT Specification and Description Language(SDL) (SDLGR ) 2 ISO 9074：1989, Information processing systemsOpen Systems Interconnection

9、Estelle：A formal description technique based on extended state transition model ( ESTELLE .) SDLGR . , SDLGR . KS X ISO/IEC 11411:2009 12 KS X ISO/IEC 11411:2009 1 , , , , , , . 2 KS . 3 , , . 4 5 1 , 2 , , 3 2 , 4, 5 , 4 , 5 . , . . , , . , , /, . , . , , , . . . . . . , , . , . KS X ISO/IEC 11411:

10、2009 13 . , , . 5 , . 153787 1 92 3(13) (02)26240114 (02)262401489 http:/ KS X ISO/IEC 11411 :2009 KSKSKS SKSKS KSKS SKS KS SKS KSKS SKSKS KSKSKS Information technology Representation for human communication of state transition of software ICS 35.080 Korean Agency for Technology and Standards http:/www.kats.go.kr