Abstract:

he 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.