基于CPN的服务交互行为关键属性的运行时确保机制

• 作者: 吴泉源 朱俊 郭长国
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 运行时确保 服务交互行为 关键属性 有色Petri网
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 1064-1071
• 分类号: TP311
• 字数: 7302字
• 语种: 中文

摘要

为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用于精确刻画服务交互行为及其重要属性.结合服务实例,进一步对模型可达集和关键监控属性展开深入分析.在可达集的基础上,描述将模型运用于运行时监控的方式确保服务交互行为的关键属性.同时,本文从并行化执行流程和交互行为检测算法两方面介绍了服务交互行为的运行时监控机制.最后,评测结果表明这种运行时确保机制在性能、检测效率等方面都具有良好的表现.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭长国	国防科技大学计算机学院	17	116	7.0	10.0
3	吴泉源	国防科技大学计算机学院	111	1520	19.0	35.0
6	朱俊	国防科技大学计算机学院	13	136	7.0	11.0