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

A CPN Based Runtime Assurance Mechanism for Critical Properties of Services Interactive Behaviors

作　　者：朱俊[1] 郭长国[1,2] 吴泉源[1] 

机构地区：[1]国防科技大学计算机学院,湖南长沙410073 [2]中国电子设备系统工程公司,北京100039

出　　处：《电子学报》2011年第5期1064-1071,共8页Acta Electronica Sinica

基　　金：国家自然科学基金(No.90818028);国家863高技术研究发展计划(No.2007AA010301);"核高基"重大专项(No.2009ZX01043-002-004)

摘　　要：为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用于精确刻画服务交互行为及其重要属性.结合服务实例,进一步对模型可达集和关键监控属性展开深入分析.在可达集的基础上,描述将模型运用于运行时监控的方式确保服务交互行为的关键属性.同时,本文从并行化执行流程和交互行为检测算法两方面介绍了服务交互行为的运行时监控机制.最后,评测结果表明这种运行时确保机制在性能、检测效率等方面都具有良好的表现.To assure the accordance of services interactive behaviors and defined critical properties,this paper provides a CPN based runtime assurance mechanism.A service interactive behaviors CPN model is introduced to analyze reachability sets and critical properties of a composed service sample.It also depicts the mechanism on how to runtime monitoring these properties.At the end,evaluations show that this runtime assurance mechanism has very good performance and efficiency.

关 键 词：运行时确保 服务交互行为 关键属性 有色PETRI网 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]