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

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

基于Petri网的面向公共过程的协同业务过程验证方法

如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致。通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率。