基于UML的形式化需求建模的研究-计算机应用技术专业论文.docx

面向对象开发的滞式化需求建模内容摘要 面向对象开发的滞式化需求建模 内容摘要 f随煮软件的战略价德目益增长，企业期待着能够加速软件开发的技术，我们 菇援着终嵩软传囊量、酶低较磐成本帮开发薅阕鹃方法。当蓠，瑟良对象方渡翻 技术成为了软件开发的主流技术，UML作为面向对象建模事实上的国际标准， 戳其丰富的图形符号和谶大的表境能力褥到了非常广泛静应甭，缀多软{牛公司都 撼出了支持UML的开发工具和好发环境。像Rational公司的Rose，MS公司的 visio等簿。由此很好地满足了系统开发的可视化的需要。但即使面向对象建模 戆技术蓍秘方法已经相当残熟著逐淤完善，依然存在一些润题。以UML为例，它 拥有表示各种事物和关系的图形符号、也有用这魑符号建立系统模型的一整套规 鲻帮辍裁。毽UML只是一释撂潍翡建攘语言，势{#一耱标准魏开发过程。筵攀 的说，UML为系统建模提供了一套完憋复杂的积木，用这些积木能很方便直观 的搭建不丽用途的建筑穰鍪，讴建筑的缩构是否合理，壹l鏊基是否牢霞。建筑是否 满足开发商和住户的各种常规或特殊的要求等等则取决于搭积木的人的经验，并 没有一个固定的研遵循的一定正确的方案。当建筑的规模较小，结构用途比较筒 零豹攮掇下，蔹嚣搭积术的入的曩三确豹经验可以建成一个成功豹模型，傻随着建 筑复杂憔的增加和建模过程中开发商和伐户要求的可能的改变，建模的过程变得 复杂，努须努玲段分部分逐步静缓豫秘宠善，壹黛建立最终魏霹以进入至l工程实 施的模型。而建筑模型一旦完成就是一个有机的憋体，根据初期模型进行完善或 敬动形成的新的模型的正确佳得不赘僳诞，模璧巾的菜整部分存在翡菜藏错误要 改正起来也会异常困难。所以，人们希望能在用送套积木搭建模型的过稷中加入 ～些逻瓣，对模型的各部分的特性和功自g作形式化的说明和定义，使得程不同的 玲段搭建兹模型《以保持一致，尽量减少错误。缀合形式他方法会是一个很好的 解决渠邋。国际，J：二近年来出现了很多这方面的研究成果，在面向对象开发的不同 玲毅结会不霾豹形式扰方法，鑫豹器在予飙不露豹舞重焦或是不瓣程度上测翅形 式化方法的特点——描述的一致性与可验证性来优化开发，烬文中提出的方法是 ／ 形式诧静定义部分UML塑(本文酶研究嘉要集牵予籀述系统动态方面静交互图， 丽对描述系统静态部分的UML圈的研究见参考资料t40j)的语义，由此建立形支 垂囊对鬟秀发约形式纯舞求建搂毽夔型多相应UML模型之间的转按关系，且谯系统需求分析及建模阶段剥用送 垂囊对鬟秀发约形式纯舞求建搂 毽夔型多相应UML模型之间的转按关系，且谯系统需求分析及建模阶段剥用送 一转换关系将UML模漤转换为形式化RAISE模型，程RAISE模型基础上进行 逐步的糙他，劳保涯抽象摸型的所有震性都在麟纯压鹣摸型中保持一致。这撵农 系统开发的初期需求阶段，尽黛减少需求模型精化过程中出现的错误。当然，攀 实上，并不存在一静宠美豹建摸方法，{；；至餐一耱方法鸯英佬势纛必毒羹缺陪，本 文所作的工作既保留了利用UML进行系统分析设计时强大的系统建模能力和简 洁馥了静西肉辩象模黧表示法，又靛够形式诧的对软件需求模型进行精亿和验 证，在两种方法的结合中找到了一个较好的平衡点。 薤彝瓣蒙秀发的形式纯蒜求建搂正 薤彝瓣蒙秀发的形式纯蒜求建搂 正 文 第1章 引言 1．1穗向对象技术与软件开发 针对日趋复杂的软件需求的挑战，软件业界发展出了面向对象(OO)的软件 野发模式。80冬{弋寒以来，夔麓嚣囊对象技术戏是技零磅究的热点，燃现了几 十种支持软件开发的面向对象方法，其中，Booch，Coad／Yourdon，OMT和Jacobson 静方法在嚣离对象豹较佟开发界褥至l了广泛懿诀霹。娄然这些方法豹广泛疰蠲及 其不断的成熟与完善也烧统一建模语言UML产生并不断完善的前提与旗础。 1．1．1面向对象技术 (】)面向对象语言具有如下基本特征： 夺访问控制。对象必须能够对其内部的某魑元素进行保护，是它们只能被 内部搜蠲，瑟琴受接部予挽。爱过来，对象又必须罚其宅外部元素进{亍 联系，以便对对象进行操作。在C++中，类有私有的(private)、保护 翁(protected)黟公毒戆(public)三麓谤瀛爨钱。 夺继承性。通过对已有对敷进行增加或部分修改的方法建立新的对象，对 已有对敷可以臻加数据秘过程，也可戳辩其中浆些过程避行飘衔定义。 最初的类被称为基类，从基类扩展出来的类称为派生类。从已有类派生 出新类鼹为了获得更强的针对一陡。 夺多态牲。正象生态系统～榉，继承擒成了类族。通誊这些类族中浆类县 有同名的成员函数，例如OD分布类族，具有～个通用基类，两个派生 类；增长系数OD分蛮炎器重力模型OD分毒类，这几个类黎蠢溷名豹 Exec成员函数。多态性意味着存在多种形式，能使人们