共查询到10条相似文献,搜索用时 15 毫秒
1.
由于UML Statechart图缺乏精确的数据流语义,因而难以对UML Statechart图建模的工作流的数据流进行正确性验证.首先,UML Statechart图是基于状态转换的,为此选择标记转换系统(LTS)作为语义域,并用结构化操作语义(sos)分两步定义了UML Statechart图的数据流语义.然后,采用时序逻辑公式表示数据流所需满足的性质,同时给出了将UML Statechart图模型转化为可达状态迁移图的算法,最后通过模型检测算法验证数据流的正确性. 相似文献
2.
模型信息转换是目前软件工程领域比较热门的研究方向,将UML模型信息转换成XMI中间标准格式,能够实现模型到模型转换,模型到代码自动生成,加快系统开发进度,提高软件质量。提出一种UML用例图到XMI的映射算法。首先介绍了MDA,UML,XMI以及用例图等基本概念,然后对XMI Schema抽象模型进行形式化描述,并根据XMI模式定义和UML用例图映射规则对映射算法进行具体描述。最后通过一个具体的泛化用例图到XMI的映射实例进行算法验证。 相似文献
3.
许旻 《苏州市职业大学学报》2013,(1):50-52
通过对自主学习平台的研究,结合“城市轨道交通运营管理”课程,运用UML技术对城市轨道交通运营管理自主学习平台进行建模并对相应模块的用例图、时序图和E-R图作出分析. 相似文献
4.
5.
基于UML及B/S架构网上选课系统的设计与实现 总被引:1,自引:0,他引:1
刘锦萍 《唐山职业技术学院学报》2007,(2)
利用系统用例图、类图及对象顺序图的实例介绍了UML建模技术,并运用B/S架构及ASP技术讨论了网上选课系统的实现。 相似文献
6.
随着软件规模的不断扩大,其状态空间会随之增大,甚至会出现状态大爆炸的现象,这给分析其状态转换的流程带来相当大的困难。本文探讨了一种通过把UML状态图转化为中间图TFG的方法来产生测试序列,该方法能有效降低使用UML状态图产生测试用例的难度。 相似文献
7.
介绍在C语言环境下实现图的数据结构,结合具体的示例详细分析并给出图的存储和图的深度遍历算法,同时为配合该算法的实现,描述图的定义,并给出实现图的数据结构的完整的程序. 相似文献
8.
范春燕 《山西师大体育学院学报》1999,(4)
运动解剖学是一门以形态教学为核心的学科,直观性很强,因此合理、正确的应用图,加强学生的记忆,以期在教学中收到较好的效果。文章从备图、解图,科学地应用图,绘制板图,以及在预习、复习和考试中的用图等几方面阐述了图在运动解剖学教学中的应用。 相似文献
9.
魏二玲 《中国科学院大学学报》2004,21(4):451-453
20世纪 70年代,刘彦佩通过构造图的辅助图,得到判定图是否平面的充分必要条件.图的标号三元图刻画了图的内在结构,也可以刻画图是否平面.证明了图的辅助图是否平衡以及标号三元图是否平衡是等价的 ;并进一步指出,用辅助图来判定要优于用标号三元图. 相似文献
10.
近年,随着高校学生不断扩招,传统手工高校学籍管理工作逐渐不能满足高校学籍管理工作需要,随之高校学籍管理系统逐步开发并被各高校广泛使用;学籍管理系统有着传统学籍管理无法比拟的优越性和高效性,以保山学院学籍管理系统为例,通过使用统一建模语言(Unified Modeling Language,UML)中的用例图和E-R图对高校学籍管理系统进行详细设计. 相似文献