Journal of Systems Engineering and Electronics ›› 2011, Vol. 33 ›› Issue (7): 1558-1564.doi: 10.3969/j.issn.1001-506X.2011.07.24
舒振, 陈洪辉, 罗雪山
SHU Zhen, CHEN Hong-hui, LUO Xue-shan
摘要:
在对军事信息服务的含义和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了层次化建模能力,改善了基本Petri网模型描述的不足之处。为保证模型的正确合理,还提出了由服务实现的有效性、服务交互的正确性和流程构造的合理性三者结合的模型分析方法。最后针对具体的应用案例,对该方法进行了实例分析。结果表明,该方法能满足军事信息服务组合模型构建的需要,并具备良好的描述与分析能力。