基于完全有限前缀的过程实例表示图的分解

• 作者: 刘国平 刘廷龙 宋亮 杨剑勇 王建民 闻立杰
• 来源期刊: 清华大学学报（自然科学版）
• 学科: 工学
• 关键词: 过程模型 行为特征 过程实例 完全有限前缀
• 年，卷（期）: 2014,（4）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 490-494
• 页数: 5页
• 分类号: TP391.4
• 语种: 中文

摘要

由于语义交织现象的广泛存在,导致过程模型的行为状态空间面临状态爆炸问题.完全有限前缀能够有效压缩过程模型的状态空间,但是会丢失部分任务间时序关系特征.该文提出时序保存的完全有限前缀(temporal-order protecting complete finite prefix,TPCFP)技术,既能在不丢失任何可达状态信息的前提下高效压缩状态空间,又能确保不丢失任何任务间的时序关系.通过从TPCFP叶子结点中不同的并发集合出发,逆向遍历直到初始状态,可以分解出代表过程模型所有过程实例的结构,称为过程实例表示图(exe-cution instance representation graph,EIRG).在实际过程模型集合上所做的实验表明该技术是高效和准确的.