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

朱俊; 郭长国; 吴泉源

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-16

- 基于CPN的服务交互行为关键属性的运行时确保机制
- A CPN Based Runtime Assurance Mechanism for Critical Properties of Services Interactive Behaviors
- 电子学报 2011年39卷第5期页码：1064-1071
- 作者机构：
  
  1. 国防科技大学计算机学院,湖南,长沙,410073
  2. 中国电子设备系统工程公司,北京,100039
  3. 国防科技大学计算机学院湖南长沙,410073
  4. 中国电子设备系统工程公司北京,100039
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.90818028);国家863高技术研究发展计划 (No.2007AA010301);"核高基"重大专项 (No.2009ZX01043-002-004)
- DOI：
  中图分类号： TP311
- 纸质出版：2011
- 稿件说明：
移动端阅览
朱俊, 郭长国, 吴泉源. 基于CPN的服务交互行为关键属性的运行时确保机制[J]. 电子学报, 2011,39(5):1064-1071.

ZHU Jun, GUO Chang-guo, WU Quan-yuan. A CPN Based Runtime Assurance Mechanism for Critical Properties of Services Interactive Behaviors[J]. Acta Electronica Sinica, 2011, 39(5): 1064-1071.
朱俊, 郭长国, 吴泉源. 基于CPN的服务交互行为关键属性的运行时确保机制[J]. 电子学报, 2011,39(5):1064-1071. DOI：

ZHU Jun, GUO Chang-guo, WU Quan-yuan. A CPN Based Runtime Assurance Mechanism for Critical Properties of Services Interactive Behaviors[J]. Acta Electronica Sinica, 2011, 39(5): 1064-1071. DOI：

摘要

为了保证服务交互行为与其定义的关键属性相一致

本文提出了一种基于有色Petri网模型的运行时确保机制

从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型

用于精确刻画服务交互行为及其重要属性.结合服务实例

进一步对模型可达集和关键监控属性展开深入分析.在可达集的基础上

描述将模型运用于运行时监控的方式确保服务交互行为的关键属性.同时

本文从并行化执行流程和交互行为检测算法两方面介绍了服务交互行为的运行时监控机制.最后

评测结果表明这种运行时确保机制在性能、检测效率等方面都具有良好的表现.

Abstract

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.

关键词

Keywords

references

浏览量

1384

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据