选择序列图创建UML动态模型

讲解选择序列图创建动态模型的理由以及生成序列图的流程,以创新基金管理信息系统用户登录、录入票据和检索票据为例,给出了使用UML创建序列图的步骤和方法。     

基于UML的GRAPPLE在数字化医院信息系统设计中的应用

UML(标准建模语言)是一种定义良好、易于表达、功能强大且普遍适用的建模语言,是开发软件系统分析和设计阶段的重要工具。GRAPPLE是一个可自适应的、灵活的开发过程方法学,本文以数字化医院信息系统的系统分析和设计为例,介绍了结合UML建模的GRAPPLE的实际开发过程。     

基于Petri网的UML形式化建模应用分析

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。     

基于Promela的UML建模方法及其应用

针对形式化方法与可视化方法的优缺点,本文提出形式化方法与可视化UML互补的建模方法,主要探讨用形式化方法验证UML模型,将UML模型转换为Promela模型,再用模型检测工具SPIN对Promela模型进行验证。最后通过实例对此转换方法进行验证,实验结果表明了此方法的有效性。     

导弹武器系统任务空间概念模型开发

为了构建导弹武器系统执行战略反击使命的任务空间概念模型,保证模型的互操作性和可重用性,研究了任务空间概念模型的形式化描述,突出了任务空间概念模型中核心元素之间的关系。利用UML建立了战略反击作战使命的任务空间概念模型。分析了执行战略反击使命的特点,抽象出任务空间概念模型的核心元素,重点描述了实体间的关系、任务间的关系、条件与任务的关系、交互与任务、实体的关系等核心元素之间的关系。最后讨论了模型验证的方法。实践证明,以核心元素及其关系描述任务空间概念模型的方法可操作性较强,建立的模型也容易理解。     

谈图书馆网络管理系统的需求分析

图书馆网络管理系统是一个学校必不可少的部分,它所具有的功能直接关系到图书的利用率,一个功能完备的图书馆管理系统还可以在很大程度上节省人力物力资源。本文主要对图书馆网络管理系统应用UML语言进行需求分析,为建立完善的图书馆网络管理系统打下良好的基础。     

基于UML图书管理系统的分析与设计

本文借阅介绍了UML的组成部分、特点和作用,并详细地阐述了在传统的软件开发阶段中使用UML对图书管理系统进行建模的主要过程。     

基于Web的UML建模系统

针对目前异构网络环境下的异地开发和信息查询需求,结合MVC模式,设计并实现基于Web的UML建模系统。为了便于表示UML建模过程中的结构化数据和半结构化数据,将建模信息保存为XML文件,使系统具有更好的可扩展性、开放性、灵活性、自我描述性、可操作性及规范的层次结构。通过建立基于XML的信息查询提高了查询效率。     

基于UML顺序图测试用例的生成

在分析UML模型可测试性的基础上,提出一种基于UML顺序图模型生成分布式系统测试用例方法,以系统软件配置项为对象对分布式应用典型场景进行模拟,通过解析MDL文件给出对顺序图XML的建模方案,实现一个自动生成分布式系统测试用例工具。实验结果表明,生成的测试用例达到判定覆盖的标准,具有良好的应用前景。     

基于UML和.NET的高职院校新生报到系统的设计与实现

基于UML和.NET的高职院校新生报到系统,运用先进的OOD和OOA软件编程思想和方法,使用先进的UML和.NET开发工具,解决了高职院校存在的新生报到中的问题,简化了工作程序,提高了工作效率。