A.N.特雷霍夫。;索科洛夫，V.V。 在REAL技术中实现MSC和SDL图的构造。 （英语。俄文原件） Zbl 1120.68395号 程序。计算。柔和。 33，第1号，24-33（2007）; 译自Programmirovanie 33，No.1，35-50（2007）。 总结：考虑了各种关联MSC和SDL图的方法，包括允许将整个系统的行为场景（HMSC/MSC）自动手动转换为单独对象的行为模型（SDL）的方法，支持其在整个生命周期内一致性的方法（协同修改），以及实际情况下MSC图的扩展。对现有算法进行了回顾，考虑了它们的优缺点，并提出了我们自己的消除缺点的方法。将提出的算法集成到一个复数中。 MSC公司： 68N99型 软件理论 68周05 非数值算法 软件：Klocwork公司;实时测试++ PDF格式BibTeX公司 XML格式引用 \textit{A.N.Terekhov}和\textit{V.Sokolov}，程序。计算。柔和。33，第1号，24-33（2007；Zbl 1120.68395）；译自Programmirovanie 33，No.1，35--50（2007） 全文： 内政部 参考文献： [1] ITU-T建议Z.100：规范和描述语言（SDL），1999年。 [2] ITU-T建议Z.120：消息序列图（MSC），1999年。 [3] ITU-T MSC2000R3草案Z.120：消息序列图ITU-T建议Z.1201999。 [4] Terekhov，A.N.等人，《RTST++：实时系统信息系统和软件开发的方法论和CASE工具》，Programmirovanie，1999年，第5期，第45–51页[编程和计算机软件（英语翻译），1999，第5号，第276–281页]。 [5] Rumbaugh，J.、Jacobson，I.和Booch，G.，《统一建模语言参考手册》，马萨诸塞州雷丁：Addison-Wesley，1999年。 [6] OMG集团服务器，从事UML方法、标准、出版物和工具的开发，网址：http://www.omg.com。 [7] 用例图（UCM）表示法。定义、出版物和工具，http://www.useCaseMaps.org/index.shtml。 [8] Mansurov，N.和Zhukov，D.，用例方法中SDL模型的自动合成，Proc。第九届SDL论坛（加拿大蒙特利尔，1999年），阿姆斯特丹：Elsevier，1999年，第225-240页。 [9] Robert，G.、Khendek，F.和Grogon，P.，从一组MSC导出具有给定体系结构的SDL规范，Proc。第八届SDL论坛（法国埃弗里，1997年），阿姆斯特丹：爱思唯尔出版社，1997年，第197-212页。 [10] Abdalla，M.、Khendek，F.和Butler，G.，《从MSCs推导SDL规范的新结果》，Proc。第九届SDL论坛（加拿大蒙特利尔，1999年），阿姆斯特丹：Elsevier，1999年，第55-67页。 [11] Li，J.和Horgan，J.，《将形式描述技术应用于软件体系结构设计，计算》。社区。，2000年，第23卷，第12期，第1169–1178页·Zbl 05396757号 ·doi:10.1016/S0140-3664（99）00244-3 [12] Khendek，F.和Vincent，D.，用MSC丰富SDL规范，Proc。SDL论坛协会关于SDL和MSC（SAM2000）的第二次研讨会（法国格勒诺布尔，2000年），第305-319页。 [13] ETR 184。测试和规范方法（MTS）。1995年包含SDL的欧洲电信标准（ETS）验证技术概述。 [14] EG 201 015。版本1.2.1。测试和规范方法（MTS）；协议和服务规范；使用规范和描述语言（SDL）的标准验证方法。手册，1999年。 [15] ETS 300 414。测试和规范方法（MTS）；1999年《欧洲电信标准可测试性和促进验证规则》中SDL的使用。 [16] Telelogic Tau 4.2文档，2001年。 [17] Sinclair，D.、Stone，B.和Clynch，G.，《从需求到验证的面向对象方法论》，Proc。第二届面向对象信息系统会议（OOIS’95）（爱尔兰都柏林，1995年），第265-286页。 [18] Holzmann，G.，《计算机协议的设计与验证》，新泽西州恩格尔伍德·克利夫斯：普伦蒂斯·霍尔出版社，1991年。 [19] 工具MOST的说明、出版物和联系信息，http://www.ispras.ru/groups/case/projects.html？2#2。 [20] 生产工具KLOCWork的公司现场，http://www.klocwork.com/。 [21] SDL论坛网站上工具KLOCWork的注释，http://www.sdl-forum.org/Tools/klocwork.htm。 [22] Sokolov，V.V.，《在现有差异下检查SDL图是否符合MSC文件》，载于《Sistemnoe Programmirovanie（系统编程）》，圣彼得堡：圣彼得堡州立大学，2004年，第366–390页。 [23] Damm，W.和Harel，D.，LSCs：将生命注入消息序列图，Proc。第三届IFIP开放式对象分布式系统形式方法国际会议（FMOODS’99）（意大利佛罗伦萨，1999），Dordrecht:Kluwer，1999，第293–312页·兹伯利0985.68033 [24] 并发语言审查http://mint.cs.man.ac.uk/Projects/UPC/Languages/ConcurrentLanguages.html 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。