面向业务知识的工作流动态生成方法

针对当前工作流生成研究大多都仅限于工作流建模阶段的自动创建,缺乏对执行阶段动态生成支持的不足,该文采用流程模式作为业务知识的表示工具,并基于流程模式提出一个面向业务知识、目标驱动的工作流生成方法。通过创建、细化和重规划3个算法实现了工作流生成中自动创建、运行时细化和变更的完整支持。该方法提高了流程系统的易用性、灵活性与自适应性,并通过相关研究比较说明该方法在知识应用、功能支持以及应用实现等方面的优点。     

面向工作流的网格服务动态调度

在网格应用中使用工作流技术,并采用动态调度算法来调度网格服务可以更好地适应网格运行环境的动态性。给出了网格工作流的层次结构和基于工作流的网格服务动态调度算法D-DAG,实验结果表明D-DAG比传统的调度方法具有较好的优越性。     

面向云工作流的两阶段资源调度方法

为提高云计算系统的资源利用率,优化系统性能,同时兼顾用户的服务质量(Qo S)需求约束,文中结合云计算和工作流建立了云工作流系统,给出了具有两个调度阶段的系统资源调度模型.在第1阶段中,考虑了Qo S的时间及价格约束、工作流内各个任务之间的依赖关系以及各个任务所产生的中间数据的处理,提出了改进的粒子群优化(MPSO)算法,并利用Pareto获得最优解,以提高调度效率;在第2阶段中,考虑了资源在主机上的分配情况,提出了具有负载感知的调度策略,根据系统的负载情况进行资源调度,以提高系统的资源利用率.实验结果表明:在云工作流系统的资源优化调度中,与经典的异构最早完成时间算法、单目标优化的遗传算法相比,MPSO算法的任务执行速度更快、资源利用率更高,能满足用户的Qo S需求;具有负载感知的调度策略能更有效地根据负载情况进行调度,提高任务执行的效率和资源利用率.     

面向IoT数据工作流的分割与调度方法

物联网数据是当前一类典型的大数据,其应用正成为诸多行业领域的热点,围绕物联网数据的应用往往可以被表示为由一组大数据处理与分析任务构成的工作流.与传统工作流不同的是,IoT(Internet of Things)环境下这种数据驱动的工作流具有数据来源分散、数据规模大、云边协同分布执行等特点,给IoT数据工作流的执行带来了...     

面向软件工程的工作流管理系统

结合CMM思想和RUP技术，提出了以RUP定义的软件开发流程作为模板，以工作流管理系统作为支持环境的软件开发过程管理的新思路，介绍了工作流管理系统的模型基础，即集成化的多视图模型P_PROCE，它以过程视图为核心，集成了产品，资源，组织和控制评价视图，给出了建模，仿真和执行有机集成的工作流管理系统体系结构，在解释了以过程建模，系统维护和模型转换接口三部分组成的工作流建模系统的基础上，阐述了以个人工作台和工作流引擎为主构成的工作流执行和仿真机制。     

基于Ptolemy Ⅱ的面向角色工作流建模方法研究

面向角色的建模方法不同于面向对象的方法,角色之间通过端口和参数直接进行通信,是一种真正的基于组件的设计方法。同时,它层次化的设计思想也对大型建模活动有着重要的指导意义。针对工作流的三维模型,探讨使用面向角色的思想来进行工作流建模,并使用面向角色的建模设计工具PtolemyⅡ搭建工作流建模平台。     

面向政务流程的工作流模型

针对政务流程设计和实现过程中领域化、标准化、灵活性的要求,结合标准化的工作流模型和政务工作流应用的特点,构造政务流转系统,并在此基础上提出面向政务流程的工作流模型(简称政务工作流模型)．政务工作流模型在标准工作流模型的基础上进行扩展,通过政务流程元模型、政务文书元模型和政务机构元模型实现政务流程的建模,并把建模结果以政务流程描述语言的形式保存．在政务工作流模型的基础上,还引入两阶段设计的思想,通过使用流程设计模式简化政务流程的设计．     

面向任务的工作流访问控制模型

在分析工作流对访问控制需求的基础上,提出了面向任务的工作流访问控制模型.该模型引入了授权任务概念,将执行任务需要的最小权限和执行任务的角色作为授权任务的属性,使角色和权限脱离关系.同时该模型定义了任务冲突关系,并在此基础上给出了动态授权约束规则,保证了组织安全策略的实施.面向任务的访问控制模型实现了授权流同工作流的同步,能够满足工作流访问控制对动态授权、最小权限和职责分离的要求.不同于已有的模型,该模型还通过角色和权限的分离解除了组织模型和工作流模型的耦合关系.     

面向断言的测试数据生成方法及其应用

提出了一种利用断言产生测试用例的白箱测试方法．该方法首先选定程序中某条语句作为目标节点，通过在目标节点的临界分支和必要分支上插入断言来限制和跟踪程序的执行，以保证程序能到达目标节点，从而生成相关测试数据．利用这种测试数据生成方法，对轨道交通列车自动监控系统软件（ATS）的部分功能模块进行单元测试，并给出测试结果．     

面向虚拟制造的装配规划生成方法

装配规划是虚拟装配和面向装配设计的关键技术之一，提出了装配规划的总体结构，引入装配自由的概念，提出了可行性分析的算法，并将共与基于知识的方法有机地结合起来，提出了较完整的装配规划的生成方法。     

面向生物信息学计算的网格工作流系统

针对生物信息学网格计算需求,提出了一种网格工作流管理系统模型,系统以Web方式为用户提供服务,通过与软件模块的交互实现良好的可定制的人机交互界面,使得不熟悉网格计算和工作流系统的人也可以快捷直观地操作使用.该系统能够自动地对工作流任务进行调度,然后通过网格中间件进行执行,并对任务进行监控和管理.论述了该系统的框架和实现原理,通过一个生物信息学计算实例说明工作流的定义、描述和使用流程;并且,通过与中国教育科研网格公共支撑平台CGSP工作流系统的对比,说明了该系统在可视化、便捷性上更符合生物信息学计算需求的特点.     

面向移动信息平台的工作流机制分析

移动信息平台是信息处理和移动通信技术相结合的新型应用模式,将工作流引入移动信息平台是一种新的信息处理途径.本文侧重分析移动工作流的实现机制和关键技术,结合文件流转审阅流程进行了实现分析.     

面向代理的车间动态调度方法

针对车间动态调度缺乏有效方法的现状.建立了车间动态调度的数学模型.将车间组元定义为多个独立的代理(Agent),并将蚁群在觅食过程中通过释放信息素的方式进行交流与合作的行为,应用到Agent之间的协商与通信中,建立了Agent之间的协作模型,形成了基于多代理协商的动态调度方法.仿真试验对比表明.基于多代理协商的车间动态调度方法优于基于遗传算法的动态调度方法.     

基于协商的队形动态生成方法

基于层次可扩展队形描述框架HEFF,提出了基于协商的队形动态生成方法,可以在保持原队形形状不变的情况下动态扩展队形,以容纳新加入队形的机器人,并集成最大优先指派算法,实现了机器人到队形目标点的优化分派.该方法简单、灵活,能充分利用机器人之间的并行操作,快速有效地生成指定队形.     

面向环境适应性的机器人服务策略生成方法

为提高机器人在不同家庭环境下的服务任务执行能力,提出一种环境适应性服务策略生成方法,可生成以当前环境物品信息为主导的服务策略．首先,利用词频-逆文本频率(TF-IDF)算法构建服务指令集、关键字序列集与服务策略数据集;然后,对无规则自然语言指令进行语义解析与组块分析,分解映射至结构化服务指令以简化语义空间,获取对应待选关键字序列;最后,对包含当前家庭环境信息的Protégé本体知识库进行匹配、推理,获得服务关键字序列,引导经服务策略数据集微调的GPT-2模型生成适应性服务策略．实验结果表明：该方法能够提高服务策略生成的准确性,且最终生成的策略在具体家庭环境下具有更高的可行性．     

基于扩展元模型的智能动态工作流建模方法

为了提高工作流的智能性和动态性,对原有的工作流过程元模型进行扩展,提出一个基于该扩展元模型的智能动态工作流模型.该工作流模型引入控制规则来约束流程的实例化,并引入一个独立于工作流系统的规则协调器来对流程规则进行解析,实现了流程的智能动态变化.研究结果表明,建立在智能动态工作流模型上的工作流管理系统不仅具有智能性和动态性,在通用性以及柔性方面也有很大的提高.     

面向SCOTEM模型的软件测试数据生成方法研究

如何从UML模型生成测试用例为面向对象软件测试带来了新的挑战.为测试用例提供测试数据是其中的关键环节.Shaukat Ali等人在UML基础上提出SCOTEM模型,但是此模型的测试数据需要人工生成.针对SCOTEM模型进行了改进使其适于灰盒测试,以OCL约束测试数据的生成和运行结果的验证,并提出了一种为基于粒子群算法的改进SCOTEM模型自动生成测试数据的方法.针对不同的覆盖标准,实验证明该方法能够以更高的效率生成高质量的测试数据.     

基于动态规划的柔性工作流

为提高柔性工作流对业务环境不确定性和多变性的响应能力,提出了一种基于流程模式的工作流动态规划技术.采用流程模式的知识表示方法描述业务领域专业知识,工作流建模阶段不确定的执行过程或执行因素用一个特殊的"目标活动"来表示;通过在流程执行过程中实时获取目标活动的上下文信息,实现流程执行过程中的实时规划,使得流程的执行过程能够更加实时地反映外界影响因素的变化;给出了基于动态规划柔性工作流的结构化设计和上下文数据的形式化定义,进而设计了目标匹配的流程规划算法,该算法支持流程的递归规划.最后,给出了一个"接收对象不明确"的工作单分发流程实例,表明了动态规划的优势,并与其他支持工作流柔性的方法进行了比较.     

面向CPN属性的测试序列的自动生成方法

CPN(Coloured Petri Nets)非常适用于描述和分析含有并发、同步和通信等情况的复杂系统。该文提出了一种面向CPN属性的自动生成测试序列的方法。首先给出了CPN属性的形式化定义,然后根据系统的CPN模型给出了面向CON属性生产测试序列的算法,并应用该算法完成了面向CPN属性的测试序列自动生成工具的开发。这对于CPN t00Is也是个非常有效的扩展。