业务流程驱动的半自动语义Web服务组合方法研究及应用

随着Web服务数量的不断增多,如何利用Web服务组建松散耦合的应用系统以满足不断变化的业务需求,成为一个研究热点。传统的业务流程驱动的服务组合通常需要预定义组合流程,当业务流程改变时则需重新定义流程,因此不能适应动态业务需求。针对上述问题,提出了一种业务流程驱动的半自动语义Web服务组合方法。该方法在业务流程驱动的服务组合基础上,将局部动态流程用抽象服务描述,当流程执行阶段不存在能满足抽象服务需求的单个服务时,采用自动服务组合方式将抽象服务替换成组合服务,并执行自动组合方法。该方法由于采用了基于回溯树的服务组合方法,并在回溯树中增加语义信息,还通过计算组合流程的QoS来实现组合服务的选取,因此能有效解决因缺乏语义导致查全率低的问题。最后给出了半自动化的服务组合框架,该框架兼顾了可用性与动态性的需求,具有一定的实用价值。     

基于抽象解释的可执行代码值范围分析

阐述可执行代码抽象存储空间模型的概念并给出程序运行时刻环境抽象表示技术。通过抽象解释静态逼近程序不动点语义的理论保证二进制代码数据流分析的正确性以及可计算性。基于抽象解释和单调数据流框架提出一种自动分析可执行代码变量取值范围的方法及自动获取程序循环最大迭代次数和不可执行路径,并给出数据流分析实例。     

基于BPMN的服务组合执行引擎的研究与实现*

业务模型和执行模型的一致性是当前服务组合研究的一个难点和热点。目前普遍采用模型转换的方式将业务模型映射为可执行模型,但由于两种模型语言的语义和语法不一致,导致了模型转换存在语义失配等缺陷。针对该问题,提出了一种基于业务流程建模标注的Web服务组合执行方案,设计了BPMN模型的解释执行算法,给出了执行引擎的原型系统,并通过具体案例验证了方案的有效性。     

状态驱动的可执行业务流程模型的设计与实现

在企业间的流程协同过程中,为了使企业的业务规则管理更灵活,防止企业私有的业务规则暴露给其他企业,并有效地监控流程的执行过程,将业务规则库和Web服务有机地整合,构建状态驱动的可执行业务流程模型（SEBPM）。通过定义抽象业务流和扩展的业务规则,得出业务规则和过程流之间的耦合策略。给出一个SEBPM的具体应用实例。     

跨组织业务流程模型挖掘与质量评估

跨组织业务流程需要多个组织相互配合,协同工作来完成一项由单个组织无法完成的任务.由于跨组织业务流程的复杂性与分布性,其建模与分析过程是一项耗时且容易出错的任务,要求建模人员拥有丰富的经验和行业知识.流程挖掘通过分析业务信息系统执行过程中产生的日志为模型构建提供了一种自动化方法.然而,传统的流程挖掘技术仅支持单个组织的日志挖掘,无法有效地处理跨组织业务流程挖掘问题.本文针对此问题提出一种跨组织业务流程模型挖掘方法.首先扩展已有的流程挖掘方法来进行单个组织的业务流程模型挖掘;其次,定义组织间三种典型的协同模式,并提出相应算法以挖掘组织间的协同模式;再将各个组织的流程模型和协同模式集成,得到全局跨组织业务流程模型;最后采用传统的质量评估指标和提出的协同模式拟合度来量化发现的跨组织业务流程模型质量,通过四个不同的跨组织业务流程案例与已有挖掘方法进行比较,验证本文提出挖掘方法的有效性和可用性.     

面向产业链协同SaaS平台的业务流程定制技术

针对产业链协同软件即服务(SaaS)平台各企业群对业务流程个性化定制的需求,建立了业务流程与业务功能之间的映射关系和企业群与业务流程之间的定制关系,在此基础上构建了SaaS平台面向多企业群的业务流程定制模型,并提出了业务流程驱动规则和加载控制方法,以实现平台在应用过程中基于用户身份的业务流程动态加载支持。构建的业务流程定制模型和流程驱动规则以及相应的加载方法在汽车零部件产业链售后服务的外出申请审批流程的定制方面进行了应用验证,能实现SaaS平台运行过程中企业群对业务流程的个性化定制需求。     

面向跨企业多方协同应用的Web服务安全模型

现有的Web服务安全工具仅提供单个服务的安全策略配置功能,忽略了业务流程层面的安全需求。为此,提出一种面向跨企业多方协同应用的Web服务安全模型,将Web服务安全建模、部署与监控过程,融合到企业业务流程管理过程中。在此基础上构造基于Secure-WSCDL的建模工具、转换工具和监控工具,实现SOA架构下业务模型与安全建模在软件工程生命周期中的同步。通过简化的国际贸易进出口流程实例,验证了该模型与相应工具的有效性。     

基于WS-BPEL的服务组合流程建模工具的设计与实现

详细介绍了基于BPEL语言的可视化Web服务组合流程建模工具的体系结构;引入节点和弧的概念实现可视化流程编辑器;采用图形化方法和流程图到WS-BPEL元素的映射技术,实现了Web服务组合流程模型的建立、编辑和配置等功能,简化了抽象流程到可执行流程的转化;提出了基于Web服务QOS约束的服务查询、QOS本体表示和QOS筛选方案,使得符合用户需求的Web服务能够被动态灵活地绑定到业务流程中.     

基于Pi演算的跨组织工作流建模研究

传统的工作流建模方法主要用于描述组织内部流程,因而难以描述跨组织工作流面向流程、组合、抽象、涉及多个自治系统通信合作的新特点.针对此问题,提出了一种基于Pi演算的跨组织工作流建模方法,利用Pi演算的并发计算操作符,将跨组织业务流程建模为一组自治且并发执行的组织内子流程的组合,子流程建模为组织内本地流程定义和组织间控制约束的组合.基于Pi演算的弱互相似理论,验证了两个跨组织子流程外部行为的相等性,用于帮助组织内私有流程的外部抽象.基于该方法建立的跨组织工作流模型在子流程间建立了一种松耦合的关系,适用于动态的跨组织环境,同时基于严格的形式化方法,便于分析和验证.     

基于本体语义的制造网格构建机理研究*

针对制造资源共享和协同制造的困难,提出了基于本体语义的制造网格系统的构建思路。首先定义了制造网格服务模型,以及制造网格环境中资源封装和运行管理的基本单元——制造服务域;然后提出了基于本体语义的制造网格的体系结构及其关键问题;最后详细分析了制造网格服务响应流程中基于本体语义的服务发现、制造服务域的构造以及制造网格服务的完成等活动的执行过程。     

跨域访问控制与边界防御方法研究*

为保障跨域访问过程中的信息网络安全,在深入分析其所面临安全风险的基础上,提出了一种跨域访问控制与边界防御模型,该模型将跨域访问过程划分为域内和跨域两个阶段,同时结合相关安全技术进行策略决策和策略实施,保障了信息传输的保密性、完整性和可用性,从而有效地解决了跨域访问过程中的访问控制和边界防御问题。     

A structural equation model for analyzing the impact of ERP on SCM

Enterprise resource planning (ERP) and supply chain management (SCM) represent important information technology investment options for operation or IT managers, and have been acclaimed in the practitioner and academic literature for their potential to improve business performance. The purpose of this article is to provide further insights into the adoption of ERP systems and the impacts on firm competence in SCM. We propose a model featuring ERP benefits to firm competences in supply chain management. We also hypothesize that three constructs of ERP benefits positively impact firm competences in SCM. To clarify the relationships among these constructs, structural equation model (SEM) is conducted to examine the model fit and nine hypotheses. The SEM results clearly demonstrate that there exist close interrelations among the benefits of implementing ERP systems and firm competences in SCM. The data from Taiwanese IT firms was collected through interviewing of experts and surveys. The results provide empirical evidence that the beneficial impacts of ERP on the supply chain do lead to better overall SCM competence. That evidence confirms that operational benefits, business process and management benefits, and strategic IT planning benefits of ERP in turn enhance firm competences of SCM in operational process integration, customer and relationship integration, and planning and control process integration.     

基于仿真和蚁群算法的公交动态交通规划研究

针对越来越复杂的道路交通系统，研究其中的动态交通规划问题。以达到对交通进行合理规划的目的。采用计算机仿真技术构建动态交通规划模型，应用蚁群算法解决基于仿真的动态交通规划优化问题。在所建模型的基础上，通过蚁群算法进行求解。实验结果令人满意。仿真方法可以将普通动态交通规划模型无法反映的随机因素考虑在内，使得动态交通规划的结果更加具有现实中的指导意义。将优化技术嵌入到仿真过程中。在仿真环境下使输出响应不断地得到改进，从而实现道路交通系统性能的优化。数据实例表明，该方法是正确的、可行的、有效的，可以为实际的道路交通规划提供有力地决策支持。     

基于全效益分析的互联网内容资源网规划方法研究

针对中国移动全业务运营环境下,骨干网数据业务流量快速增长,互联网内容资源网匮乏的现状,对互联网内容资源网规划方法体系进行研究.该方法基于互联网内容资源网全效益分析模型结论,从总体效益出发,规划内容资源网建设方案,包括IDC、Cache和第三方直连链路.     

基于格的跨域认证联盟协议

提出了一种基于格的多信任域认证协议模型。该模型以格的特有属性来支持不同信任域间的双项实体认证及大规模跨域的联合认证。避免了由某个独立的特权机构认证所带来的安全隐患以及网络瓶颈和单点崩溃问题。解决了基于代理跨域认证的庞大通信规模和因缺乏灵活性而不适应现代网络环境的问题。经仿真实验和性能分析表明，该模型具有很高的安全性，且在大规模跨域的联合认证时更灵活、轻量及高效。     

基于语义Web服务的业务过程集成的研究及实现

文中在分析目前业务过程集成所存在的问题(如缺乏统一描述、各系统之间缺乏语义等问题)的基础上,采用最新的语义Web服务技术设计了一种基于语义Web服务的业务过程集成模型,该模型不仅支持跨企业的业务合作,而且使在本领域内有共同的语义基础及业务过程规范,从而增强了企业间业务集成能力和协调能力。最后给出了一个简化的供应链上企业间业务过程集成的应用实例的设计与实现。     

冶金冷轧薄板企业生产计划调度体系结构及方法研究

本文在三层企业集成模型的基础上,针对冷轧薄板企业的产品、经营、生产及设备等特点,提出了冷轧薄板企业的多级计划与调度体系结构,并引入了以生产线控制机制为核心的企业经营生产全过程闭环优化集成模式.同时还对企业生产组织中的各级优化问题及方法进行了全面的分类研究,为进一步的研究和冷轧薄板企业集成应用系统的开发奠定了基础.􀁽     

结合业务流程再造的企业系统规划法

开发一个良好的信息系统首先需要一个好的规划,针对传统的企业系统规划法的一些缺点,提出了一种改进的方法,即结合业务流程再造的企业系统规划法。该方法利用Petri网对工作流程进行仿真再造,最终分离出业务流程中的各个企业过程,在实际应用中已经取得了理想的效果。     

基于贝叶斯网的课程内容设置决策系统的构建方法

提出了一种基于贝叶斯网的课程内容设置决策系统的构建方法,解决职业教育在课程内容安排上的实时性决策问题。首先依据校企联合课程内容需求构成给定的、具有特征属性的条件概率,然后根据对市场所需专业知识的观察与统计等方法来寻求最有可能的贝叶斯网络模型,最后利用信息独立理论,通过贝叶斯学习得到新的贝叶斯网络。     

基于多层注意力机制—柔性AC算法的机器人路径规划

针对行动者—评论家（AC）算法存在的经验学习样本维度高、策略梯度模型鲁棒性低等问题,依据多代理系统的信息协作优势,构建注意力机制网络并作为代理体,引入多层并行注意力机制网络模型对AC算法进行改进,提出一种基于多层并行注意力机制的柔性AC算法。将其用于解决动态未知环境下的机器人路径规划问题,可增强行动者的策略梯度鲁棒性并降低评论家的回归误差,实现机器人路径规划最优方案的快速收敛。实验结果表明,该算法有效克服机器人路径规划的局部最优,具有计算速度快、稳定收敛的优点。