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

摘要

在对军事信息服务的舍叉和特点进行分析的基础上,提出了基于对象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.