书签分享收藏举报版权申诉 / 48

立即下载加入VIP,交流精品资源

当前位置：首页 > 标准规范 > 国际标准 > 其他 > KS X ISO IEC 10746-4-2011 Information technology－Open Distributed Processing－Reference model：Architectural semantics《信息技术开放式分布处理参考模型体系结构语义学》.pdf

KS X ISO IEC 10746-4-2011 Information technology－Open Distributed Processing－Reference model：Architectural semantics《信息技术开放式分布处理参考模型体系结构语义学》.pdf

上传人：tireattitude366

文档编号：821846

上传时间：2019-02-12

格式：PDF

页数：48

大小：603.32KB

《KS X ISO IEC 10746-4-2011 Information technology－Open Distributed Processing－Reference model：Architectural semantics《信息技术开放式分布处理参考模型体系结构语义学》.pdf》由会员分享，可在线阅读，更多相关《KS X ISO IEC 10746-4-2011 Information technology－Open Distributed Processing－Reference model：Architectural semantics《信息技术开放式分布处理参考模型体系结构语义学》.pdf（48页珍藏版）》请在麦多课文档分享上搜索。

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

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

下载提示：本站仅提供存储空间/不修改/不编辑

1.请仔细阅读文档，确保文档完整性，对于不预览、不比对内容而直接下载带来的问题本站不予受理。
2.下载的文档，不会出现我们的网址水印。
3、该文档所得收入（下载+内容+预览）归上传者、原创作者；如果您是本文档原作者，请点此认领！既往收益都归您。

同意并开始全文预览

文档包含非法信息？点此举报后获取现金奖励！

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

10000 积分 0人已下载

下载	加入VIP,交流精品资源

版权申诉 word格式文档无特别注明外均可编辑修改；预览文档经过压缩，下载后原文更清晰！ 立即下载

配套讲稿：: 如PPT文件的首页显示word图标，表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
特殊限制：: 部分文档作品中含有的国旗、国徽等图片，仅作为作品整体效果示例展示，禁止商用。设计者仅对作品中独创性部分享有著作权。
关键词：: KSXISOIEC1074642011INFORMATIONTECHNOLOGY OPENDISTRIBUTEDPROCESSING REFERENCEMODELARCHITECTURALSEMANTICS

麦多课文档分享所有资源均是用户自行上传分享，仅供网友学习交流，未经上传用户书面授权，请勿作他用。

关于本文

本文标题：KS X ISO IEC 10746-4-2011 Information technology－Open Distributed Processing－Reference model：Architectural semantics《信息技术开放式分布处理参考模型体系结构语义学》.pdf
链接地址：http://www.mydoc123.com/p-821846.html

KS X ISO IEC 10746-4-2011 Information technology－Open Distributed Processing－Reference model：Architectural semantics《信息技术 开放式分布处理 参考模型 体系结构语义学》.pdf

KS X ISO IEC 10746-4-2011 Information technology－Open Distributed Processing－Reference model：Architectural semantics《信息技术开放式分布处理参考模型体系结构语义学》.pdf