结合公共视图和对象Petri网的跨组织流程建模

组织间协同的信息流以及每个参与组织的自治性是跨组织协同的两个要素。结合跨组织工作流建模与对象网之间的相似性,提出了一种基于公共视图和对象Petri网的跨组织工作流建模方法。组织的公共视图隐藏了内部流程细节,是原流程中仅与合作伙伴相关的活动在外部的投影。通过组合各参与组织的公共视图得到了跨组织协同的信息流网结构,利用对象网的交互集建立了组织内部流程与通信结构的同步关系。通过一个建模实例阐述了该方法的有效性。     

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

针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.     

从私有过程提取公共过程构建业务协同的方法

业务过程协同允许组织之间彼此进行通信、交互和协作以完成特定的业务目标.为了确保实施的正确性和一致性,需要对业务过程协同进行建模和分析.针对从私有过程(组织所拥有的完整流程)中抽取公共过程(组织参与协同的流程)以构建业务过程协同,首先定义业务过程模型以表示组织的私有过程,该模型由内部视图和公共视图组合而成,且内部视图是自由选择网结构;进而将业务过程模型抽象为4种基本块,即顺序块、选择块、并发块及迭代块;针对这4种基本块提出各自的抽取规则集以获得组织的公共过程,并从理论上证明了这些规则集能够保持协同中接口一致性,从而确保了每一次抽取是上下文无关的.通过对协同制造中供应链进行建模并与现有的、典型的方法进行对比分析,结果表明：相对于已有的工作,在考虑隐私保护原则的情况下,所提方法能够更加有效地对业务过程协同进行建模和分析.     

基于角色的动态跨组织商业过程的工作流研究

从角色及其交互的角度描述跨组织工作流．提出角色视图的概念，将工作流管理系统之间的直接交互转化为角色视图层上的协作，实现了角色之间的过程协作，并支持动态跨组织的商业过程．用例表明，在跨组织工作流系统中加入角色视图层，能较好地解决动态跨组织商业过程问题．     

基于多Agent的应急协同Petri网建模及协同检测

针对应急事件处置过程中的多组织协同问题,提出多Agent应急协同的Petri网模型定义,研究Agent内部Petri网基本结构及多Agent的协同交互Petri网建模,并给出了应急协同Petri网模型的协同检测算法。最后以某单位氯气泄漏应急事件处置过程为例,建立了应急协同Petri网模型,并进行协同检测及分析,验证方法有效性和实用性。     

面向跨组织业务流程的角色行为验证方法

为了更有效地保证跨组织业务流程模型的正确性和合理性,应用Pi演算提出了一种基于状态的角色行为的验证方法。基于Pi演算提出了跨组织业务协作中的角色模型,设计了角色描述表,以清晰、直观地描述角色的权利、职责和义务,进而应用Pi演算验证工具MWB(移动工作平台)的check和step命令提出了单角色验证方法,并在此基础上从业务对象状态和业务操作角度提出了多角色验证方法。实现了角色行为的验证,并为跨组织业务流程的可达性、一致性和死锁等分析奠定基础。     

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

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

跨组织多业务事务建模与验证方法

面向服务的事务处理是保障业务交互和协作正确性的关键技术.针对跨组织多业务流程,提供了一种支持多业务事务建模与验证的方法.在建模方法上,对Pi-演算扩展了事务语义,将进程间的动作交互与跨组织膜活动相关联来刻画多业务事务协调行为.在验证过程中,基于等价自动机转换思路集成现有模型检验技术,验证多业务事务是否满足人们需要的各种性质.实验结果表明,该建模与验证方法能够有效地保障多业务流程在设计与实现过程中的正确性.     

Pi+演算及其对Petri网的表达

为了研究Pi演算模型的表达能力,作者用它来表达Petri网系统,证明了Petri网的某些子类,如自由选择网等,可以直接用Pi演算表达.然而对于一般的Petri网,表达却遇到了困难.文中提出了一种对Pi演算的扩展,称为Pi+演算,在原有Pi演算的通信机制中增加了多原语同步通信机制.证明了所有一般Petri网系统均可以用P...     

软件体系结构设计技术及其应用

在大规模软件开发的过程中，软件体系结构设计起着举足轻重的作用，用它来指导整个开发过程，可以准确满足需求并充分提高软件系统的重用性和可维护性。结合数据传输工具DataTrans，详细阐述了一种描绘体系结构的标准化方法并阐述了该方法在DataTrans中的应用。     

PKTS view：一种多媒体数据库视图

在多媒体数据库管理系统中采用视图技术是一个新的课题。文章分析了逻辑视图和实视图在应用于MMDBMS时的不足，给出了一个多媒体数据库视图的时间成本和空间成本模型，并基于这些分析，提出了一种新的视图模式．较好地解决了该类应用中时间成本与空间成本的矛盾。     

面向三维模型高效观察的视点选择技术综述

高效的模型观察,对提高生产实践工作效率具有重要的意义。为此,视点选择技术在近些年得到了很大的发展,是提高模型观察效果的重要技术之一。文章对视点选择技术进行了较系统的梳理,重点讨论了视点度量技术及其发展现状,并探讨了视点采样技术的发展及视点选择技术在多方面应用的情况。最后,讨论了视点选择技术的发展趋势及其应用前景。     

关于知识表示的讨论

知识表示是人工智能（ＡＩ）研究中基本问题之一,对ＡＩ来说,知识表示的研究分成两个层次：（２）知识表示方法的研究,（２）表示观的研究,首先,本文在总结各种表示方法的基础上,提出了一种“知识表示体系树”,以观察ＡＩ研究的发展趋势,其次,文中收集了目前ＡＩ学界对这个问题讨论了各种主张,并将其归纳为评论论、本体论及知识工程等三类对表示的观点;最后,还讨论了ＡＩ一些研究分支与表示的关系。     

异构数据的视图集成研究

视图集成是异构数据源集成问题的关键技术之一.论文引进XML技术,利用其作为一种数据格式描述的元语言标准的优势,改进了已有视图集成方法,采用XQuery语言建立了真正意义上的虚拟的全局视图,为异构数据集成访问奠定了基础.     

Incremental Design of a Data Warehouse

A data warehouse (DW) can be seen as a set of materialized views defined over remote base relations. When a query is posed, it is evaluated locally, using the materialized views, without accessing the original information sources. The DWs are dynamic entities that evolve continuously over time. As time passes, new queries need to be answered by them. Some of these queries can be answered using exclusively the materialized views. In general though new views need to be added to the DW.In this paper we investigate the problem of incrementally designing a DW when new queries need to be answered and possibly extra space is allocated for view materialization. Based on an AND/OR dag representation of multiple queries, we model the problem as a state space search problem. We design incremental algorithms for selecting a set of new views to additionally materialize in the DW that: (a) fits in the extra space, (b) allows a complete rewriting of the new queries over the materialized views, and (c) minimizes the combined new query evaluation and new view maintenance cost. Finally, we discuss methods for pruning the search space so that efficiency is improved.     

一种实化视图的合并算法

对于拥有大量实化视图的实际数据库应用系统,提出了视图合并的方法以减少整个视图 的数量,缩减实化视图的搜索空间;还提出了归并树和基于归并树的快速有效的合并算法。实验表 明,实化视图的合并是快速寻找可能响应查询的实化视图的一种有效途径,可以显著改进查询处理的 性能。     

实视图选择研究

定义了数据仓库领域的视图选择问题,并讨论了与该问题相关的代价模型、收益函数、代价计算、约束条件和视图索引等内容;介绍了3大类视图选择方法,即静态方法、动态方法和混合方法,以及各类方法的代表性研究成果;最后展望未来的研究方向.     

基于源视图增量的在线实化视图自维护

借鉴传统的基于基表变化的数据仓库维护方法Strobe，提出一种基于源视图增量的在线实化视图自维护方法，使实化视图的状态保持与底层数据源的一致性。这种方法不仅保持数据仓库数据的一致性，而且还能够加快实化视图维护的速度，减少底层信息源与数据仓库之间的网络通信负担。     

一种利用实化视图快速响应查询的技术

实化视图可以显著改进查询处理的性能，针对拥有大量实化视图的实际系统，提出了层次索引和视图合并两种方法来有效减少可能被利用的实化视图的搜索空间，还提出了实用的启发式算法以找出较优重写查询。实验表明，所给算法可用来快速地响应查询。