基于对象Petri网的军事信息服务组合与验证方法

• 作者: 罗雪山 舒振 陈洪辉
• 来源期刊: 系统工程与电子技术
• 学科: 工学
• 关键词: 军事信息服务 对象Petri网 服务组合 模型分析
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 系统工程
• 页码范围: 1558-1564
• 分类号: TP393
• 字数: 8050字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-506X.2011.07.24

摘要

在对军事信息服务的舍叉和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法.该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了层次化建模能力,改善了基本Petri网模型描述的不足之处.为保证模型的正确合理,还提出了由服务实现的有效性、服务交互的正确性和流程构造的合理性三者结合的模型分析方法.最后针对具体的应用案例,对该方法进行了实例分析.结果表明,该方法能满足军事信息服务组合模型构建的需要,并具备良好的描述与分析能力.