分布式业务流程实时一致性分析方法

业务流程的实时性是业务流程可靠运行的重要指标,实时一致性分析是保证业务流程高效执行的关键。针对分布式业务流程对实时性的要求,提出时间业务流程图的概念,并规定协作业务流程的组合建模方法。定义时间业务流程图的结构正确性,并给出正确性分析方法。在结构正确的基础上,对业务流程的实时性进行分析,判断协作业务流程的时间执行是否满足一致性,从而为保证业务流程的实时可信提供了一种有效的技术途径。     

强弱混合一致性语义模型

８０年代末出现的分布式共享共（ＤＳＭ）技术为解决可扩展性和易编程的矛盾提供了一种可行的方案，但是，由于ＤＳＭ建立在消息传递机制的基础之上，而且存在对本地内存访问和对远程内存访问的差异，简单地照搬多处理机Ｃａｃｈｅ一致性语义往往效率很低，因此人们提出了一些弱化的、放权的一致性语义，这些语义与用户采用的顺序一致性语义差别较给用户在程序设计、调试上造成很大困难，本文提出了一种强弱混合一致性语义模型，解决     

基于Petri网的语义Web服务流程一致性验证

提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性。通过一个实际案例验证了该方法的正确性和有效性。     

语义缓存的一致性维护策略研究

为了解决在移动环境下将更新操作转化成删除和添加操作的传统一致性维护算法所增加的不必要的数据通信流量和数据存取,现将语义裁剪的思想融入一致性维护算法,将更新粒度细化至被更新的属性,并将更新的语义区域裁剪到最小.理论分析表明通过对更新范围的裁剪,有效减少了数据存取和数据通信的开销.仿真实验证明了该策略的可靠性和高效性,特别是当更新数据流大的时候尤其明显.     

基于语义相似度的静态安全策略一致性检测

安全策略语义是人类控制安全行为意志的表达。针对策略语义在定义和转换过程中存在的冲突等问题,提出一种基于语义相似度的静态安全策略一致性检测模型与算法。首先建立策略领域本体并提取特征因子,给出基于本体中概念特征的语义相似度计算方法;继而以防火墙安全策略为例建立实例检测模型,运用静态安全策略一致性检测算法对冲突策略进行标记处理,并保证最终的策略规则库的一致性。实验结果表明,该算法具有较好的检测效果,为解决安全策略在定义、制定和映射等阶段的冲突提供了一种可行的途径。     

一种改进的语义缓存一致性维护方法

为了解决在移动环境下将更新操作转化成删除和添加操作的传统一致性维护算法所增加的不必要的数据通信流量和数据存取,文章将语义裁剪的思想融入一致性维护算法,将更新粒度细化至被更新的属性,并将更新的语义区域裁剪到最小。理论分析表明通过对更新范围的裁剪,有效地减少数据存取和数据通信的开销。仿真实验证明了该策略的可靠性和高效性,特别是当更新数据流大的时候尤其明显。     

网络安全策略与措施的语义一致性研究

计算机网络安全中以防火墙和入侵检测为代表的安全措施需要由高层策略转换得出.但在转换过程中由于机械规则的影响,策略与措施间语义的内容可能不一致.文中提出了一种用于计算策略到措施的语义度量方法,针对典型的ponder策略建立其语言结构化操作语义模型,规定高层策略到底层措施的转换规则,根据特定网络环境和事件,构造相关的推理引擎,能够自动实现底层措施到高层策略的语义度量.实验结果表明,该方法可以有效地实现策略和底层措施之间的在语义上存在的差异.     

基于语义缓存的粒度自适应一致性维护策略

对象/关系映射常使用缓存来提升处理性能,缓存中数据与服务器数据的一致性维护是影响系统可靠性的关键问题。提出由中间层发起一致性维护的策略。该策略结合数据存储粒度、数据更新频率及更新数据量大小等因素,分别采用TTL及按需请求方式来进行一致性维护,保持缓存数据与服务器数据一致。实验结果表明,该策略能有效减少网络数据传输的开销,降低网络负载,并保证数据的有效性。     

基于数据影响的业务流程一致性检查方法

近年来,业务流程的精确管理受到越来越多的关注,作为业务流程管理内容之一的一致性检查技术正变得越来越重要。现有的一致性检查技术主要从模型的控制流角度出发,并未考虑业务流程中的数据或数据的变化对业务流程产生的影响,为此提出了一种基于数据影响的业务流程一致性检查方法。首先,通过业务流程建模符号（business process modeling notation,BPMN）模型中数据和行为之间的依赖关系来分析数据对偏差活动预期行为的影响,进而获取偏差活动的预期行为集;其次,通过在BPMN模型中引入决策模型和符号（decision model and notation,DMN）决策表来充分捕获当前实例执行的数据上下文与行为上下文之间的关系,以区分有效数据更改和异常数据更改,找到偏差活动的有效预期行为集。最后,通过设计数据对偏差活动影响的各类成本函数提出了有效一致性检查方法。实验结果表明,相比已有工作,该方法在进行业务流程一致性检查时提高了业务流程的一致性,可以成功捕获偏差活动作出反应的适应行为,使得业务流程在复杂多变的环境下表现得更加准确、合理。     

基于语义一致性的细节保持图像生成方法

生成对抗网络被广泛应用于文本生成图像领域,但在生成过程中容易导致部分图形缺失必要的细节.为了生成包含更多细节特征的细粒度图像,提高文本与图像的语义一致性,提出一种基于语义一致性的细节保持图像生成方法.首先,挖掘文本描述中的潜在语义,引入特征提取模块选择文本中的重要单词和句子,获取单词和句子之间的语义结构信息;其次,构造细节保持模块关联图像与文本信息,结合混合注意力机制,定位特定文本对应的图像区域,将定位区域与文本信息关联,增强和优化生成图像的细节;最后,融合语义损失和感知损失,将句子的图像和单词的子区域映射到共同语义空间.实验结果表明,在CUB数据集上,IS和FID指标分别达到4.77和15.47;在COCO数据集上, IS和FID指标分别达到35.56和27.63.     

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

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

数据取证设备一致性评价及标准体系研究

文章在对目前国内外数据取证设备的技术和标准发展情况进行分析的基础上,探讨了数据取证设备应当满足的技术要求和数据取证设备一致性评价方法,并针对国内目前尚无公开的数据取证设备标准的现状,提出了以数据取证设备技术要求及检测标准为主体的标准体系。为各生产厂商对取证设备产品的设计和生产提供指导;为数据取证设备相关的技术标准的制定和修订工作提供技术蓝图;完善数据取证设备产品标准化检测,提高产品的质量,保障公安部门获取数据的有效性,提高案件侦查的效率。     

基于业务模型语义的制造企业管理信息系统重构

报告了制造企业管理信息系统重构技术发展的现状, 剖析了其中存在的不足, 即目前重构技术不能很好地支持企业用户自主实施系统重构, 引出信息系统重构技术进一步发展目标。提出了基于业务模型语义的制造企业管理信息系统重构方法, 支持用户通过对企业业务模型的配置来实现管理信息系统动态重构, 该方法已在实际的工艺管理系统中得到成功应用。     

语义网、语义网格和语义网络

语义网、语义网格和语义网络是三个容易混淆的概念,语义网是对WWW的延伸,其目标是使得Web上的信息具有计算机可以理解的语义,并为人们提供各种智能服务;语义网格是语义Web和网格相结合产生的新的研究领域;语义网络是知识的一种图解表示,它由节点和弧线或链线组成.通过对三者的概念、特征、应用等方面进行介绍从而说明了三者的联系以及不同,并说明了今后对三者的研究方向和重点问题.     

基于领域本体的语义查询推理系统

传统的基于关键字的信息检索技术不能满足人们对信息查询的需求,语义网技术是解决这一问题最有前景的方法。本文设计与开发一个基于出版物领域本体的语义查询与推理系统,该系统构建了出版物领域本体,并构造该领域本体的查询语句和推理规则,给出语义查询和推理的结果,并对结果进行测试。结果验证了系统对语义查询和推理的可行性和有效性。      

一种基于语义Web的Web服务发现方法

Web服务的大量涌现对服务发现提出了挑战。然而,传统的服务发现技术是建立在语法描述的基础上,主要采用的服务发现机制是WSDL和UDDI规范相结合的解决方案,通过关键词匹配来实现的。但是这些发现方法查准率极其低下,已经不能很好地满足用户需要。在研究本体与语义Web服务的基础上,提出了一种基于本体的Web服务发现框架,该框架首先对用户的请求合约进行语义预处理,然后根据抽取的语义在服务库中发现适合的Web服务,从而提高查准率。     

基于本体的语义检索技术

基于本体的语义检索是建立在语义Web的基础上的检索技术。与传统的检索技术相比,它能提高检索的精度,减少了不相关的返回结果。使用句子成分进行实体的实例的初步创建,然后通过已经构造好的领域本体把实例和实体进行映射,从而构建领域本体的实例,通过对实例进行索引,达到概念级检索的目的。首先介绍了语义Web和本体的基本概念。然后详细讨论了基于本体的语义检索的实现的具体步骤及方法。最后分析了该方法的不足。     

基于语义网的动态工作流互操作

动态工作流互操作是工作流互操作领域中的一个重要问题.通过对工作流互操作进行分析,提出了一种以Web服务为服务接口、以语义网技术为服务发现机制的可以跨越Internet的动态工作流互操作模型。