The interoperability and reusability of the complex system simulation model is one of most popular and difficult problems in the research field of simulation technology. The popular simulation technology high level architecture (HLA) suffers a great challenge because of the limitation of federation object model and the version of runtime infrastructure (RTI). It is an effective and popular way to solve the problem by the utilization of service oriented modeling and simulation (SOMS). The main SOMS techniques, such as HLA/service oriented architecture (SOA), discrete events systems specification (DEVS)/SOA, model driven architecture (MDA)/SOA, cloud simulation/SOA, are systemically introduced. Towards the timeliness and effectiveness problem of SOA, the real-time SOA research is analyzed. Besides, the real-time SOA based modeling and simulation is put forward as an attractive research field.

A simulation component, oriented as a parallel framework for federate, was raised to facilitate federate development and improve execution performance of federate on multicore platform.Simulation components were employed to compose and assemble federates in parallel framework.With simulation engine management service, data distribution management service, object management service, component management service and load balancing of parallel framework, a multicore parallel environment was provided for simulation component, which also assured correct interactions between parallel federates and RTI.Experiments were carried out on the extra overhead introduced by parallel framework and performance comparisons between normal federate and parallel federate were made.Results showed that parallel framework fully exploited multicore processors with reduced execution time and improved performance of simulation system.

The SISO standard Base Object Model (BOM) specification facilitates interoperability, re-usability, and composability of component models for simulation purposes. The common practice of constructing a BOM-based simulation system using the High-Level Architecture (HLA) does not, however, exploit the hierarchy of BOM components and hence limits re-usability. The Discrete EVent system Specification (DEVS) formalism has proven to be appropriate for hierarchical modeling and subsequent parallel and distributed simulation. In this paper we integrate the key part of the BOM, the component kernel, into a DEVS framework by mapping it onto atomic DEVS models. On the one hand, this precisely defines an automated mapping which fully conserves the wealth of information (such as hierarchy) present in BOMs. On the other hand, it allows for re-use of a plethora of theory, techniques and tools available for the DEVS formalism. If necessary, the DEVS models obtained through the integration can be optimized. A small case study of the take-off and landing of a plane demonstrates the increased re-usability compared to HLA-based approaches. This case study is also used to compare the performance of a BOM-based simulation system with the DEVS equivalent.

In the field of MS of Component, the modeling and simulation framework based-on Basic Object Model （BOM） named KD-XSRFrame has been used widely, but its performance is inefficient for the design basis of discrete time. And the key issue in BOM component MS is how to improve the performance of simulation application. The deficiencies of legacy system was profoundly discussed, the BOM component and its engine were reengineered by using the concept of discrete event, a new modeling framework of BOM base-on Discrete Event System Specification was put forward, and a new engine was designed which focused on events. The experiment shows that the BOM component and engine of discrete event can sharply decrease the spending of model function calling and time advancing, and greatly improves the performance of simulation application system.

Based on general theory, DEVS is an effective and module modeling specification. For the problem of lacking capability of current model representation approaches to describe context and support semantics reuse and composition of simulation model, a Semantic Extended DEVS （SEM-DEVS） model representation approach was proposed. On the base of DEVS, experiment frame and semantic extended port of model were extended to SEM-DEVS. Stricter request to describe the behavior of model was proposed in SEM-DEVS. Logic relationship and match method of experiment frame and semantic extended port of model was brought forward base on formal definition of SEM-DEVS. An implement of SEM-DEVS was proposed, in which experiment frame and semantic extended port were both represented by logic formulas.

Federations based on HLA should conform to a series of rules and be able to exchange data effectively through Run Time Infrastructure (RTI). Therefore, it is necessary to design effective Federate Compliance Test Software (FCT) to test federate, which assure the correctness of federates. Existing federate compliance test approaches that adopted dynamic compiling methods are difficult and complicated in using and realization. Based on the former test experience, a new method is brought forward in this paper. It uses the General Simulation Data Collect (GSDC) Technique which exchanges the data with Federate Under Test (FUT) by dynamic publication and subscription of objects and interactions. Therefore, compiling can be avoided and the testing work becomes simpler. The GSDC technique and the improved method are discussed in detail, and an example shows that the method is feasible in the end.