结合Petri网与进程代数的业务过程协同模型研究

• 作者: 吕永华 孙华 程耀坤 笪建 莫启
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: Petri网 进程代数 跨组织业务过程 进程标号迁移系统 约简
• 年，卷（期）: 2017,（12）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 49-52
• 页数: 4页
• 分类号: TP301
• 字数: 5024字
• 语种: 中文
• DOI: 10.11907/rjdk.172661

摘要

业务过程协同允许组织之间彼此进行通信、交互与协作以完成特定业务目标.为了完整地描述出一个参与组织的协同,提出进程标号迁移系统PLTS(Process Labeled Transition System),对单个参与组织的模型视图和通信行为视图序列进行集成,进而使整个跨组织业务过程协同可以通过各个参与组织的PLTS并行组合而成.该建模方法充分结合了Petri网与CCS各自的优势,避免了单一运用Petri网与进程代数建模业务过程时面临的问题,有效支持了业务过程协同的形式验证.同时为了避免模型状态空间过大而无法进行有效验证的问题,提出了6条约简规则,并证明了这些规则是满足协同正确性的充分条件,从而使行为验证方式由模型推导变为代数推导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	莫启	云南大学软件学院	29	58	4.0	6.0
2	笪建	江苏联合职业技术学院淮安分院 信息工程系	2	1	1.0	1.0
6	程耀坤	江苏联合职业技术学院淮安分院 信息工程系	1	1	1.0	1.0
7	孙华	江苏联合职业技术学院淮安分院 信息工程系	1	1	1.0	1.0
8	吕永华	江苏联合职业技术学院淮安分院 信息工程系	1	1	1.0	1.0