一种网络服务自动部署方法

为满足网络服务使用者对网络服务部署的功能性和非功能性需求,运用Petri网的方法进行了互联网动态多变环境下的网络服务自动部署的研究,建立了一种基于Petri网的网络服务部署网模型,从形式化的角度描述了网络服务功能的部署情况,提出了一种按照服务质量来选择最优网络服务部署的算法。仿真的结果表明,与目前常用的固定部署算法和随机部署算法相比,按照该方法得到的网络服务部署能最好地满足服务使用者对服务的非功能性方面的需求。     

服务时间随机条件下服务组合质量分析

本文分析采用业务过程执行语言（BPEL2WS）描述的web服务组合的执行时间,给出在服务执行时间随机情况下,根据单个服务的执行时间概率分布密度和BPEL2WS模型的结构求解web服务组合执行时间的概率分布密度函数的算法。根据概率密度函数可以求得业务过程执行时间在任意时限内的概率,从而可以根据给定的概率条件优化组合服务,使得服务执行成本最低．最后通过一个应用实例验证了算法的有效性。     

一种Web服务可信度测试方法

在深入分析Web服务不确定性的基础上,提出一种Web服务测试方法.通过引入可信度阈值进行检验,该方法对异常候选服务具有较强的抗干扰性,能够有效测试出候选服务的可信度、每个测试用例的期望标准输出及其测试能力.该方法根据可信度对候选服务进行排序,为服务使用者选择合理的Web服务提供了重要参考依据.该方法不仅可以测试单个Web服务,还能够对组合Web服务进行测试.最后,通过测试实验验证了该方法的可行性和有效性.     

业务过程管理中基于组织和角色语义的访问控制

针对现有业务过程访问控制方法不能充分满足业务过程管理（BPM）实际需求的问题,首先分析了基于角色的访问控制（RBAC）和基于任务的访问控制（TBAC）等方法的不足;然后提出了一种基于组织结构和角色语义的访问控制（OR-SBAC）模型和方法,并采用形式化方法描述了OR-SBAC模型及其部件;最后给出了OR-SBAC的应用案例．OR-SBAC进一步划分了角色和受控主体,使用企业的组织结构进行用户与角色间的关联,在角色授权过程中通过角色适配器,基于一阶谓词逻辑进行角色语义推理,并考虑了时间和空间上下文等问题．OR-SBAC方法的描述能力强,权限分配效率高,能够满足业务过程管理中访问控制的复杂性、多样性和灵活性等方面的需求．     

分布式多媒体同步事务规划

文章针对分布式多媒体应用所含的复杂时态关系和分布性特性,利用同步代理构建了一个基于代理的分布式多媒体同步规划系统。并通过对传统Ｐｅｔｒｉ网的扩展,对分布式同步Ｐｅｔｒｉ网（ＤＳＰＮ）进行了定义,并利用ＤＳＰＮ对同步代理进行建模。最后通过对多媒体应用实例的分析,简要说明系统的操作流程。     

基于Petri网化简方法的工作流模型验证

经营过程的建模、分析与优化是支持企业经营过程重组（BPR）的重要基础,行之有 效的模型分析方法是成功进行模型分析的重要的关键技术问题．在深入分析了经营过程工作 流模型特点的基础上,本文提出了一种基于Petri 网图形化简规则的业务过程模型分析与验 证方法,证明了所提出这套化简规则的完备性和多项式时间的复杂性．并应用一个实例证明 了所提出方法的有效性．     

提高分布式工作流管理系统的可扩展性

一、引言工作流技术作为现代企业实现过程管理与过程控制的一项关键技术,为企业的经营过程提供了一个从模型建立、静态分析和动态分析、仿真、实例化到运行的环境。同时,工作流管理系统通过一套集成化、可互操作的软件工具为这个框架提供了全过程的支持。     

基于模糊层次分析法的集成软件质量评估模型

通过建立软件质量点模型和软件质量度量模型，并运用模型集成的方法，构建了软件质量的集成评估模型。通过模型转换方法将其转换为层次分析模型，并针对模型中权重指标难以确定的问题引入了模糊分析的方法。最后通过一个实例验证了该方法的可行性。     

基于作业成本法的工作流模型性能分析研究

针对以活动网络图为基础的工作流模型,提出了一种基于作业成本法(ABC)的成本性能分析方法,探讨了成本与过程模型元素的关联以及成本动因选择中应考虑的相关性和行为效应等关键要素,着重研究了将成本动因系数相同或具有微小差别的作业动因进行合并的原则,并用数学模型对其合理性进行了严格的证明,然后在理论研究的基础上展示了部分实例在自行开发的工作流模型仿真分析工具中的运行情况,最后总结了本文所提出的分析方法相对于过去分析方法的优势,并展望了未来的可能研究方向.     

随机需求下的选址－库存配送系统集成规划模型及算法

研究了随机需求条件下由单供应商、候选分拨中心和分销点构成的选址－库存问题, 分销点、分拨中心分别基于周期检查(R, s,Q)和连续检查(s, S)库存控制策略. 综合考虑库存成本、运输成本和设施成本之间的均衡关系, 建立了二级库存与无能力约束选址集成规划模型. 给出了适合求解实际规模问题的拉格朗日松弛算法, 提出了求解子问题的有效启发式方法, 改进了次梯度优化方法. 通过仿真试验验证了模型的正确性和算法的有效性. 最后讨论了相对于传统规划方法, 需求方差、服务水平、持有成本、提前期等关键库存控制参数对系统运营成本节约的影响规律.