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

Military information service composition and validation method based on object Petri net

作　　者：舒振[1] 陈洪辉[1] 罗雪山[1] 

机构地区：[1]国防科学技术大学C4ISR技术国防科技重点实验室,湖南长沙410073

出　　处：《系统工程与电子技术》2011年第7期1558-1564,共7页Systems Engineering and Electronics

基　　金：国防预研重点基金(9140A06020407KG0127);国家自然科学基金(71071160;61070216)资助课题

摘　　要：在对军事信息服务的含义和特点进行分析的基础上,提出了基于对象Petri网的军事信息服务组合模型建模方法。该方法用位置与令牌的属性信息扩展了组合模型的语义表达能力,用开关控制函数解决了不确定活动的路径选择问题,用服务对象实现了层次化建模能力,改善了基本Petri网模型描述的不足之处。为保证模型的正确合理,还提出了由服务实现的有效性、服务交互的正确性和流程构造的合理性三者结合的模型分析方法。最后针对具体的应用案例,对该方法进行了实例分析。结果表明,该方法能满足军事信息服务组合模型构建的需要,并具备良好的描述与分析能力。The concept and characteristic of military information service is analyzed,and a construction method of military information service composition model based on object Petri net is proposed.This method expands the semantic description capability of service composition model via attribute information of both place and token,resolves the problem of uncertainty route choice via a switch control-function,realizes the hierarchical modeling method via service object,which improves the limitations of the general Petri net model.In order to guarantee the feasibility of the service composition model,a model analysis method including the validity of service,correctness of service＇s communications and rationality of flow structure is proposed.Finally,aiming at a concrete case,a military information service composition model is modeled and validated with this method.The results show that this modeling method can meet the need of military information service composition and has an enough capability in expressing and verifying the military information service composition.

关 键 词：军事信息服务 对象PETRI网 服务组合 模型分析 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]