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

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

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

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

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

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

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

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

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

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

MAS技术在生产调度研究中的应用

对MAS技术在生产调度领域中的研究成果进行分析，归纳出MASS的基本特征和系统框架，按照不同的技术路线将MASS分成实体型MASS和过程型MASS两大类，并对两大类MASS的代理定义，系统结构和主要代理协商策略等进行具体分析，同时对两类系统的特点做了比较，最后展望了MAS研究的未来发展趋势。     

云制造服务场景下基于QoS值的改进PBFT算法

区块链技术为云制造服务场景下建立供需方信任桥梁的有效工具,共识算法是区块链的核心技术,鉴于现有共识算法存在消耗大、延时高等缺点,提出一种基于服务质量(QoS)值的改进实用拜占庭容错(PBFT)算法。首先根据QoS值筛选共识节点,然后将PBFT算法的三阶段协议优化为二阶段协议,从而在满足安全性的前提下提高通信效率。通过一系列理论和实验分析证明了所提算法的有效性。     

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

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

时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法，首先，将工作流网扩展为时间约束工作流网，然后分析了工作流程的时间特性，并提出了时间约束工作流网的可调度性分析算法，研究结果表明，所提出的建模方法能全面描述工作流的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。     

MDA实施过程中的数据一致性研究

在基于模型驱动体系结构的软件开发过程中,各个平台相关模型实施过程中的数据一致性很难得到保证。使用信息资源规划的方法,将该问题转换为模型的映射一致性问题,并提出了一种基于矩阵的模型映射方法,解决了这一问题。