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

PDF(1005 KB)

电子学报 ›› 2011, Vol. 39 ›› Issue (5) : 1064-1071.

作者信息 +

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

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2011, 39(5): 1064-1071.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2011, 39(5): 1064-1071.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(1005 KB)

Accesses

Citation

Detail

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

段落导航