UML顺序图的形式化描述方法研究

UML顺序图的形式化描述方法研究UML顺序图的形式化描述方法研究描述逻辑论文:UML顺序图的形式化描述方法研究【中文摘要】统一建模语言UML是在多种面向对象建模方法联合的基础上发展而来的，由于其概念明确，图形结构清晰，建模方法简洁，易于掌握和使用，且不依赖于特定的软件开发过程，于1997年被对象管理组织OMG采纳为建模语言规范，并逐渐成为了实际的工业标准。但是UML是半形式化的。UML的语法结构采用了形式化的规约，语义部分则是用自然语言描述的。这种共存的形式导致uML语义的不一致性，容易产生歧义，使得相关工具对该语言的支持只能限制在语法是...

UML顺序图的形式化描述方法研究描述逻辑论文:UML顺序图的形式化描述方法研究【中文摘要】统一建模语言UML是在多种面向对象建模方法联合的基础上发展而来的，由于其概念明确，图形结构清晰，建模方法简洁，易于掌握和使用，且不依赖于特定的软件开发过程，于1997年被对象管理组织OMG采纳为建模语言规范，并逐渐成为了实际的工业标准。但是UML是半形式化的。UML的语法结构采用了形式化的规约，语义部分则是用自然语言描述的。这种共存的形式导致uML语义的不一致性，容易产生歧义，使得相关工具对该语言的支持只能限制在语法是否正确的检查层次上，而无法对所定义模型的正确性和一致性进行严格的分析和检验。这可能会导致一个含有错误设计的模型在软件设计和开发的过程中被使用，从而降低软件开发的效率和质量，甚至可能会造成整个软件项失败。形式化方法则是基于严格的数学推理的方法，是一种精确的、无二义的形式规约准则，为模型的准确理解提供严格的数学基础，这对提高软件的自动代码生成和进行可靠的软件开发有着非常重要的意义。本文以uML顺序图为研究对象，采用描述逻辑和计算树逻辑相结合的方法，对uML顺序图进行了形式化研究，提高uML顺序图语义的精确性。本文首先在总结前人进行UML形式化研究的基础上，比较了各种形式化方法的异... 【英文摘要】UML Unified Modeling language is developed from variety of object-orientedmodeling method. It has explicit concepts, clear graphic structures and concisemodeling methods. Also, it is easily understood and used, do not depending specificsoftware development process. So, in 1997, it is considered as specification ofmodeling language by OMG (Object Management Group), gradually becomingpractical industrial standards.In fact, UML is semi-formalization. Its syntax structure adopts formalizedspecification and ... 【关键词】描述逻辑计算树逻辑形式化 UML 顺序图【英文关键词】description logic computation tree logic formalization UML sequence diagram 【目录】UML顺序图的形式化描述方法研究摘要 7-8 Abstract 8 插图索引 9-10 附表索引 10-11 第1章绪论 11-20 1.1 课题研究背景及意义 11-12 1.2 形式化方法 12-17 1.2.1 形式化方法概述 12-14 1.2.2 软件形式化研究 14-16 1.2.3 UML 形式化研究现状 16-17 1.3 存在的问题 17-18 1.4 本文的主要工作 18-19 1.5 论文组织结构 19-20 第2章 UML 顺序图和相关概念 20-26 2.1 面向对象模型与基本概念 20-22 2.2 面向对象建模语言——UML 22-23 2.3 UML 的重要视图—— 顺序图 23-25 2.4 本章小结 25-26 第 3章描述逻辑和计算树逻辑 26-39 3.1 描述逻辑 26-35 3.1.1 描述逻辑的起源及发展 26-27 3.1.2 描述逻辑的语法和语义 27-31 3.1.3 描述逻辑的推理 31-33 3.1.4 描述逻辑ALCQI 33-35 3.2 计算树逻辑 35-38 3.2.1 克里普克结构 35 3.2.2 计算树逻辑的语法 35-37 3.2.3 计算树逻辑的语义 37-38 3.3 本章小结 38-39 第4章 UML 顺序图形式化 39-45 4.1 描述逻辑与UML 的异同点 39-40 4.2 形式系统 ACLQI-CTL 40-42 4.2.1 模型和语义 40-41 4.2.2 公式的可满足性 41-42 4.3 ALCQI-CTL 形式化UML 顺序图 42-44 4.4 UML 顺序图特性检测 44 4.5 本章小结 44-45 总结与展望 45-46 参考文献 46-51 致谢 51-52 附录A 攻读硕士学位期间所发表的论文 52

                    本文档为【UML顺序图的形式化描述方法研究】，请使用软件OFFICE或WPS软件打开。作品中的文字与图均可以修改和编辑，
                    图片更改请在作品中右键图片并更换，文字修改请直接点击文字进行修改，也可以新增和删除文档中的内容。 
 该文档来自用户分享，如有侵权行为请发邮件ishare@vip.sina.com联系网站客服，我们会及时删除。

                    [版权声明] 本站所有资料为用户分享产生，若发现您的权利被侵害，请联系客服邮件isharekefu@iask.cn，我们尽快处理。

                    本作品所展示的图片、画像、字体、音乐的版权可能需版权方额外授权，请谨慎使用。

                    网站提供的党政主题相关内容(国旗、国徽、党徽..)目的在于配合国家政策宣传，仅限个人学习分享使用，禁止用于任何广告和商用目的。
                

下载需要：免费已有0 人下载

立即下载

UML顺序图的形式化描述方法研究

你可能还喜欢