UML活动图

摘要： 针对单独招生考试信息化覆盖程度不高、单独招生相关部门信息共享难的问题,文中从单独招生考试管理工作跨省份、跨部门协同工作的实际需求出发,用带泳道的活动图对协同管理过程进行业务建模,根据活动图构建了系统功能结构图,使用大数据技术的ETL治理工具,用RestFul API接口实现不同组织方的业务衔接,设计了高职单独招生考试全过程管理信息系统,实现了跨省份单招管理全过程信息管理.

摘要： 为了研究UML活动图模型中可中断活动区间、嵌套的层次活动图等高级构造子的形式化表示,依据进程代数理论,采用一种利用CSP转换UML活动图模型的方法.建立了UML活动图元模型捕获活动图语言的主要概念和属性并依据元模型的类图将建模语言的抽象语法形式化,并给出了以"活动"为中心的形式化表示机制.共享医疗业务流程管理为案列研究背景,对活动图模型高级构造子形式化验证,结果表明CSP代数理论不仅能够对活动图模型进行表示,而且能够对共享医院业务流程多层次、全方面地进行分析.

摘要： In the environment of education informationization,Internet has become an inevitable requirement of network teaching for modern education,and network curriculum has become a new subject teaching mode with its characteristics of interac-tivity,shareability,openness,cooperativeness and autonomy. Therefore,construction of network curriculum platform based on WEB technology is an urgent need for network teaching. Taking Xuzhou Open University as an example,PHP dynamic website development technology and MySQL database technology are adopted to establish a curriculum platform which uses Internet for teaching resource release,online course selection,teacher instruction,student learning,teacher and student communication un-der the guidance of constructivism and other learning theories. The network curriculum platform is a powerful,convenient and easy-to-use one which serves teachers and students effectively and can achieve a certain teaching management functions. The de-mand analysis,overall design and database design of the network curriculum platform are discussed emphastically in this paper so as to provide a good idea for how to use the object-oriented method to develop a universal network curriculum platform quick-ly and efficiently.%在教育信息化的大环境下,利用互联网进行网络教学已经成为现代教育的必然要求,网络课程以其交互性、共享性、开放性、协作性和自主性等特点成为新的学科教学模式,构建基于Web技术的网络课程平台是进行网络教学的迫切需要.以徐州开放大学为例,以建构主义等学习理论为指导,采用PHP动态网站开发技术、MySQL数据库技术,建立一个通过Internet实现教学资源发布、网上选课、教师授课、学生学习、师生交流等功能的课程平台.该平台功能强大、方便易用、是有效服务于教师、学生和实现一定教学管理功能的网络课程平台.该文重点探讨了该网络课程平台的需求分析、总体设计、数据库设计等,从而为如何运用面向对象的方法快速、高效地开发一个通用性好的网络课程平台提供一个良好的思路.

摘要： 为了避免结构化业务过程中引入非结构化业务带来的复杂性,提出一种用例2.0技术驱动业务过程建模方法.基本思想是使用用例2.0在结构化业务过程中灵活更改或调整影响业务过程的扩展部分,并保留不受变化影响的基本部分,通过扩展用例2.0覆盖非结构化业务过程需求.结构化业务过程与非结构化业务过程相互补充,给出一个具体的医院业务过程模型案例.该方法能够在结构化业务过程基础上使用用例2.0和UML活动图建模.

摘要： 为了避免结构化业务过程中引入非结构化业务带来的复杂性，提出一种用例2．0技术驱动业务过程建模方法。基本思想是使用用例2．0在结构化业务过程中灵活更改或调整影响业务过程的扩展部分，并保留不受变化影响的基本部分，通过扩展用例2．0覆盖非结构化业务过程需求。结构化业务过程与非结构化业务过程相互补充，给出一个具体的医院业务过程模型案例。该方法能够在结构化业务过程基础上使用用例2．0和UML活动图建模。

摘要： 有效降低测试成本是软件测试优化的重要研究问题。将遗传算法引入到软件测试中，对生成测试场景提供了必要的动力，然而遗传算法局域搜索能力差，在进化后期搜索效率低，导致算法比较费时。基于UML活动图提出了混合遗传算法生成测试场景的方法，该方法结合遗传算法和爬山法，有效地加快了测试场景的生成速度。为了避免局部性问题，在算法每次进行爬山操作之前调用种群生成函数。实验结果表明，与简单的遗传算法相比，混合遗传算法不仅有效地解决了局部性问题，而且较大地提高了生成测试场景的效率，降低了软件测试成本。%Reducing cost of software testing is the essential issue in the study of software testing optimization. Genetic Algorithm(GA)is introduced into the software testing, which provides necessary impetus to get divergent test scenarios. However, the GA is time-consuming because of having a poor local search and slow convergent speed at later evolution process. This paper presents the Hybrid Genetic Algorithm(HGA)in test scenarios generation based on Unified Modeling Language’s(UML)activity diagram, it contains genetic algorithm and hill climbing algorithm. This new algorithm accelerates the speed of generation of the test scenarios from the UML activity diagram, adding new members at the beginning of each operation of the hybrid genetic algorithm to avoid localized optimization. Experimental results show that the approach not only solves the localized optimization effectively but also greatly improves the efficiency of the generation of test scenarios compared with the simple genetic algorithm and reduces the software testing cost.

摘要： As the core of a software development process,software testing is an important means to guarantee software quality.Based on the visualization of object-oriented modeling technology,software testing method has gradually become a hot spot in academia.Based on UML activity diagram model.This paper gives the formal definition and testing coverage criterion,combined with the idea of basic path and using the improved method to handle concurrent module,effectively avoids the path explosion problem and reduces the output of invalid test scenario.The case analysis shows that the method of this paper has high accuracy and efficiency,and the feasibility and completeness of the test case generation is enhanced.%软件测试作为软件开发过程的核心环节,是保证软件质量的重要手段.近年来基于可视化面向对象建模技术的软件测试方法逐渐成为学术界的研究热点.文中基于UML活动图模型,给出活动图的形式化定义及测试覆盖准则;结合基本路径思想,采用改进的压缩实例化方法处理并发模块,有效避免了路径爆炸问题,减少无效测试场景的输出.案例分析表明:文中方法具有较高的准确性和用例生成效率,增强了测试用例自动化生成的可行性和完备性.

摘要： The structure verification to find out the conflicts of a process model and to generate resolutions is introduced. As a result, the business process can be ensured while running it. Firstly, a process modeling method based on UML activity graph is presented. Its elements are expanded, so it is fit for complex process modeling. Secondly, a conflict detection method based on UML activity diagram reduction is presented. The method can deal with circulation, overlapping structure of complex process model, and can realize three typical structure conflicts, e.g. Deadlock, lack of synchronization and infinite cycles. Besides, a conflict resolution scheme is presented according to the structure conflicts, it is supposed to give any useful suggestion for process modeling staff to handle conflicts.%为保证业务过程模型的结构正确性,使业务过程可以正常终止,需要进行业务过程模型的结构验证.提出基于扩展UML活动图的建模方法,扩展基本UML活动图的元素,使之适合描述复杂的业务过程；提出了相应的冲突检测方法,可以处理合有循环、重叠结构的复杂过程模型,实现对典型结构冲突(如死锁、同步缺失、活锁)的检测.针对过程模型中的各个冲突提出相应冲突消解策略,便于对过程模型进行修改.

摘要： 人工测试方法的缺点是成本高、可靠性低和效率低.基于模型的软件测试方法能够提高测试自动化水平,避免人工测试的缺点.然而,自动化方法的缺点是处理模型中各种图形元素的能力有限,适用范围小.针对现有智能算法不能生成UML活动图循环嵌套结构的测试场景,设计系统循环体数据结构和循环嵌套结构的场景生成算法.该算法提高了解析活动图的能力,扩大了算法的适用范围.论文最后给出了上海轨道交通六号线的测试项目中的一个活动图实例,生成其XML文档,利用改进的反蚁群算法解析XML文档,生成该活动图的细-线程树,验证了该算法的有效性.%The problem of manual method is costly with low efficiency and reliability. Model-based test brings automatic method and avoid the insufficiency of manual method. But The automatic approach is limited with all kinds of UML models in the result its application area is small. Aiming at the defects of automatic method for test Scenario generation, we present the improved anti-ant-agent algorithm. The improved algorithm adds system loop body, designs the method to generate test scenario for multinest loop structure. It can improve the resolving ability and increase the application in UML activity diagrams. The paper presents an activity diagram example from software testing contract for Shanghai UMT line 6, transforms it into XML file, and generates thin-thread tree from XML file by application of the improved anti-ant-agent algorithm.

摘要： 首先分析了工作流管理系统的功能特性,提出了一种工作流执行系统的体系结构.在此基础上,详细描述了利用改进的UML活动图为工作流建模的过程.最后对该模型做了简单总结并提出了尚待解决的问题.

摘要： 首先分析了工作流管理系统的功能特性,提出了一种工作流执行系统的体系结构.在此基础上,详细描述了利用改进的UML活动图为工作流建模的过程.最后对该模型做了简单总结并提出了尚待解决的问题.

摘要： 首先分析了工作流管理系统的功能特性,提出了一种工作流执行系统的体系结构.在此基础上,详细描述了利用改进的UML活动图为工作流建模的过程.最后对该模型做了简单总结并提出了尚待解决的问题.

摘要： 首先分析了工作流管理系统的功能特性,提出了一种工作流执行系统的体系结构.在此基础上,详细描述了利用改进的UML活动图为工作流建模的过程.最后对该模型做了简单总结并提出了尚待解决的问题.

摘要： 软件过程主要是研究软件开发过程的建模、执行和环境,它对保证软件质量和合理安排项目进度有着重要的作用.其中,软件过程模型是软件过程的核心.UML活动图是一种重要的可视化的软件过程建模语言.采用UML活动图来表示软件过程模型并提出了基于ECA规则的UML活动图的执行过程.

摘要： 软件过程主要是研究软件开发过程的建模、执行和环境,它对保证软件质量和合理安排项目进度有着重要的作用.其中,软件过程模型是软件过程的核心.UML活动图是一种重要的可视化的软件过程建模语言.采用UML活动图来表示软件过程模型并提出了基于ECA规则的UML活动图的执行过程.

摘要： 软件过程主要是研究软件开发过程的建模、执行和环境,它对保证软件质量和合理安排项目进度有着重要的作用.其中,软件过程模型是软件过程的核心.UML活动图是一种重要的可视化的软件过程建模语言.采用UML活动图来表示软件过程模型并提出了基于ECA规则的UML活动图的执行过程.

摘要： 软件过程主要是研究软件开发过程的建模、执行和环境,它对保证软件质量和合理安排项目进度有着重要的作用.其中,软件过程模型是软件过程的核心.UML活动图是一种重要的可视化的软件过程建模语言.采用UML活动图来表示软件过程模型并提出了基于ECA规则的UML活动图的执行过程.

摘要： 本发明提供了利用统一建模语言UML时序图开发的方法和活动图生成工具。该方法主要包括：获取业务处理流程对应的UML时序图，所述UML时序图中至少包括分支处理图元、并行处理图元或内部处理图元中一项；将所述UML时序图生成对应的活动图。利用本发明，可以实现根据各种业务的不同情况，执行不同的处理逻辑。

摘要： 本发明公开了一种基于统计模型检验的UML活动图评估方法，包括：UML活动图建模步骤：根据工程系统逻辑为工程系统建模，以生成相应的UML活动图模型；转换规则制定步骤：在UML活动图模型和时间自动机模型之间建立转换规则；模型转化步骤：将UML活动图模型映射成时间自动机模型，并在时间自动机模型中引入单任务执行时间区间和分布信息；评估目标描述步骤：以线性时序逻辑描述覆盖准则，覆盖准则包括一个以上评估目标；评估执行步骤：利用统计模型检验方法验证时间自动机模型满足覆盖准则的覆盖率，从而获得评估结果。本发明在模型描述能力上补充了时间建模能力，可加强针对UML活动图的评估的能力，扩展评估内容，提升评估质量。

摘要： 本发明是一种从UML活动图到Event‑B模型的转换方法，属于计算机软件工程领域。确定UML活动图的模型元素：发起活动的对象、基本活动和活动流；建立对象集合和活动集合，建立不变式以保证每个活动只属于一个对象，将活动的前置条件和后置条件在event的触发条件guards和动作actions中分别声明，对活动流进行映射，包括顺序流、分叉与汇合、分支与合并三种活动流。本发明方法将UML活动图转换为Event‑B模型，通过Event‑B的建模平台对转换后的模型进行形式化验证，可发现UML模型中存在的问题，同时针对作为形式化语言Event‑B不便于建模的问题，实现了利用UML活动图辅助其建模的方法。

摘要： 本发明实施例公开了一种基于UML活动图的复杂平台软件部署指导方法，针对当前基本没有在系统上线计划和软件部署阶段的方法和工具，复杂软件部署基本处于无据可循的局面，无指导方法和记录工具，绝大多数工作靠现场技术人员手工完成，如果出现问题无据可查等问题，采用创建部署工作的UML活动图，然后与关键路径法结合使用，演化为关键路径法中的箭线图，得出准确的关键路径，然后根据关键路径法分析和箭线图测算项目预期进度和项目周期分析，最后根据活动图进行指导复杂平台的软件部署和各工作环节跟踪，指导完成部署工作。从而解决了系统上线和软件部署阶段，无参考依据、无文档记录，不便分析，不可追溯的不足。

摘要： 为了提供以更高速度和提高的效率来编码活动图象的处理，本发明提供了用于通过包括运动估算处理的预定处理来编码处理对象的活动图象的活动图象编码方法，根据有关在该块与在编码时要参考的帧(即，在进行运动矢量检测时要参考的帧)的参考块之间的差信息、和在该活动图象的量化处理中使用的量化参量，确定对于处理对象的块的预定处理(例如，DCT处理和量化处理)是否可被省略，如果确定该预定处理不能被省略则执行该预定处理，以及如果确定该预定处理可被省略则省略该预定处理，并且使得一组规定的数值成为对于该块的该预定处理的结果。

摘要： 一种活动图象定住设定装置，具有存储这些数据的数据存储部2，控制显示的显示部3，输入编辑指令的用户操作部4。若在定住设定部11仅对最初和最后帧设定定住，则定住推定部12经插补计算推定其他帧的定住信息。因此大大减轻定住设定工作量。

摘要： 本发明提供了利用统一建模语言UML时序图开发的方法和活动图生成工具。该方法主要包括：获取业务处理流程对应的UML时序图，所述UML时序图中至少包括分支处理图元、并行处理图元或内部处理图元中一项；将所述UML时序图生成对应的活动图。利用本发明，可以实现根据各种业务的不同情况，执行不同的处理逻辑。

摘要： 本发明涉及软件测试技术领域，特别涉及一种基于UML活动图的智慧城市管理系统测试用例设计方法，其不同之处在于，包括以下步骤：不同之处在于，包括以下步骤：步骤1：根据智慧城市管理系统工程逻辑为系统建模，获取UML活动图；步骤2：将所述UML活动图转换为场景图；步骤3：将所述场景图编制成测试用例。本发明更适应应用开发的需求，更好的完成测试。

摘要： 本发明是一种从UML活动图到Event‑B模型的转换方法，属于计算机软件工程领域。确定UML活动图的模型元素：发起活动的对象、基本活动和活动流；建立对象集合和活动集合，建立不变式以保证每个活动只属于一个对象，将活动的前置条件和后置条件在event的触发条件guards和动作actions中分别声明，对活动流进行映射，包括顺序流、分叉与汇合、分支与合并三种活动流。本发明方法将UML活动图转换为Event‑B模型，通过Event‑B的建模平台对转换后的模型进行形式化验证，可发现UML模型中存在的问题，同时针对作为形式化语言Event‑B不便于建模的问题，实现了利用UML活动图辅助其建模的方法。

摘要： 本发明公开了一种基于统计模型检验的UML活动图评估方法，包括：UML活动图建模步骤：根据工程系统逻辑为工程系统建模，以生成相应的UML活动图模型；转换规则制定步骤：在UML活动图模型和时间自动机模型之间建立转换规则；模型转化步骤：将UML活动图模型映射成时间自动机模型，并在时间自动机模型中引入单任务执行时间区间和分布信息；评估目标描述步骤：以线性时序逻辑描述覆盖准则，覆盖准则包括一个以上评估目标；评估执行步骤：利用统计模型检验方法验证时间自动机模型满足覆盖准则的覆盖率，从而获得评估结果。本发明在模型描述能力上补充了时间建模能力，可加强针对UML活动图的评估的能力，扩展评估内容，提升评估质量。