| 基于对象Petri网的军事信息服务组合与验证方法 |
| |
| 引用本文： | 舒振,陈洪辉,罗雪山. 基于对象Petri网的军事信息服务组合与验证方法[J]. 系统工程与电子技术, 2011, 33(7): 1558-1564. DOI: 10.3969/j.issn.1001-506X.2011.07.24 |
| |
| 作者姓名： | 舒振 陈洪辉 罗雪山 |
| |
| 作者单位： | 国防科学技术大学C;4.ISR技术国防科技重点实验室， 湖南 长沙 410073 |
| |
| 基金项目： | 国防预研重点基金，国家自然科学基金(71071160;61070216)资助课题 |
| |
| 摘 要： | 在对军事信息服务的含义和特点进行分析的基础上，提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力，用开关控制函数解决了不确定活动的路径选择问题，用服务对象实现了层次化建模能力，改善了基本Petri网模型描述的不足之处。为保证模型的正确合理，还提出了由服务实现的有效性、服务交互的正确性和流程构造的合理性三者结合的模型分析方法。最后针对具体的应用案例，对该方法进行了实例分析。结果表明，该方法能满足军事信息服务组合模型构建的需要，并具备良好的描述与分析能力。
|
| 关 键 词： | 军事信息服务 对象Petri网 服务组合 模型分析 |
Military information service composition and validation method based on object Petri net |
| |
| SHU Zhen,CHEN Hong-hui,LUO Xue-shan. Military information service composition and validation method based on object Petri net[J]. System Engineering and Electronics, 2011, 33(7): 1558-1564. DOI: 10.3969/j.issn.1001-506X.2011.07.24 |
| |
| Authors: | SHU Zhen CHEN Hong-hui LUO Xue-shan |
| |
| Affiliation: | Key Laboratory of C;4.ISR Technology, National University of Defense Technology, Changsha 410073, China |
| |
| Abstract: | |
| |
| Keywords: | military information service object Petri net service composition model analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《系统工程与电子技术》浏览原始摘要信息 |
|
点击此处可从《系统工程与电子技术》下载全文 |
