摘要
为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色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.
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第5期1064-1071,共8页
Acta Electronica Sinica
基金
国家自然科学基金(No.90818028)
国家863高技术研究发展计划(No.2007AA010301)
"核高基"重大专项(No.2009ZX01043-002-004)
关键词
运行时确保
服务交互行为
关键属性
有色PETRI网
runtime assurance
service interactive behaviors
critical property
colored Petri nets
作者简介
朱俊 男，1981年生于浙江嘉兴．国防科技大学计算机科学与技术专业博士生．2006年获得计算机科学与技术专业硕士学位．研究方向为软件工程、可信软件和分布式计算等．E-mail：mail_zhujun@nudt．edu．cn
郭长国 男，1973年生于河南武陟．博士副教授，主要研究领域为分布式计算，中间件等
吴泉源 男，1942年生于上海．教授，博士生导师，主要研究领域为分布式计算，人工智能和专家系统等．
