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

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

基于视图面向隐私保护的协同业务过程建模方法

针对协同业务过程中因涉及多个组织间复杂的通信、交互及协作关系而导致的复杂建模问题,基于视图提出一种协同业务过程建模方法。首先定义私有视图,然后将私有视图控制流映射为树结构,最后基于树结构提出4种关系节点各自的迁移技术,以此为基础将私有视图迁移为公共视图,进而提出构建协同业务过程的建模方法,并从理论上证明该方法所构建协同业务过程的正确性。通过实例建模与现有方法进行对比分析表明,所提方法可在确保迁移前后协同业务过程正确性一致和不影响建模效率的前提下,提高隐私性保护力度。

结合Petri网和Pi演算的协同业务过程建模

协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。

基于任务的战术态势概念模型

基于任务的战术态势(TTSP)概念模型,由战斗实体、环境实体、任务和实体行为等元素组成。该模型可描述为作战任务、指挥人员的战斗使命、兴趣区内战术数据集及时间的一个函数。其从上级的COP中读取相对稳定的集成信息,再从下层各个数据源中获取快速改变的信息,同时得到Amp-Data的支持。通过采集数据,数据融和,将得到的信息与图元进行一一映射,并以公共图片显示的方式表现信息,由此完成TTSP的生成。