论文部分内容阅读
应用场景是指应用系统为完成某个功能所进行的一系列的行为活动,包括用户对象与系统对象之间的交互。统一建模语言(UML)中的顺序图可以用来描述对象之间的交互顺序,所以在软件设计的需求分析阶段,一般使用自然语言和顺序图来描绘应用场景的各项功能。其优点是简单直观,易于沟通和交流,但由于对问题理解的差异,这种描述很容易产生歧义,并且不能直接反映对象随交互过程状态的变化。因此在系统设计阶段,使用状态图建立系统的动态行为模型,展现对象在其生存周期内随时间和输入的变化其动态行为的变化情况,能更好地反映系统功能的实现过程,确保系统的可靠性。使用对象约束语言(OCL)为顺序图添加对象约束,从而实现顺序图向对象状态图的转换。本文重点针对顺序图对象元素以及消息发送机制,定义对象属性向量并为消息前后添加约束条件,设计算法将顺序图映射为对象状态图,合并对象状态图得到应用场景的最终状态图。本文首先针对应用场景到状态图转换的国内外研究现状进行了分析和综述,以OCL表达对象约束为基础,在研究UML顺序图向状态图的转换中,以模型形式化定义作为输入输出,以对象属性向量值判断对象的状态更改,提出了具体的转换方法,并设计开发自动转换平台,最后通过具体实例分析验证了转换平台的工作流程合理性。本文以设计一个企业短信互动系统为实例,首先基于应用场景描述设计系统的用例图、顺序图;然后针对顺序图,采用本文所提出的方法,使用自动转换平台将其转为对象状态图;最后合并为整体状态图并转换为Petri网进行性能评估。通过实例验证了转换方法的正确性。本文的主要工作和创新之处在于将形式化定义的模型作为算法的输入输出,利用添加对象OCL约束设计转换方法,并从正确性说明和实例验证两方面确保转换方法的正确性。OCL约束保证了模型转换前后的一致性。实例也证明该方法在软件设计与开发的实际工作中具有实用价值,能有效提高系统的正确性和可靠性。