Ambassador agents represent simulation services that are candidates to contribute to the solution of a problem. They need to know and express enough about the simulations to negotiate with other ambassador agents if the represented simulation systems can be composed to contribute to the solution. A formal approach to simulation interoperability based on set theory and date modeling theory was developed. The formal model of data in M&S capturing possible representations of real or imagined things in the world including definitions for existential and transformational dependencies is presented. Existential dependencies capture the relationships within a model while transformational dependencies capture the relationships between interactions with a model. These definitions are used to formally specify interoperation, the ability to exchange information, as a necessary condition for interoperability. The elements needed for a language needed for ambassador agents are derived using the formal approach to interoperability.
INTRODUCTIONThis paper is composing three research domains supported by the authors and merges them into a common application, namely a theory, an engineering method, and the use of agents.• The topic of composability of models and interoperability of simulations resulted in the development of the Levels of Conceptual Interoperability Model (LCIM), which was first introduced in (Tolk and Muguira 2003) and has been continuously evolved using feedback from other experts in various application domains to its current form, as described in ). • Using the theoretic insights from this model, the engineering method Model-based Data Engineering (MBDE) was developed to support heuristics that can be applied by systems engineers and federation developers to achieve the goal of composing model-based solutions (Tolk and Diallo 2005). • By developing a formal approach to simulation interoperability and capturing the formalism using mathematically precise terms, the development of profiles is supported that now allows the application of Agent-Directed Simulation (ADS) to support the composition. Using the meta-data of the profile, agents become ambassadors for the model-based solution and can negotiate their composition with other solutions in support of a research question.This paper uses many of the groundbreaking ideas on agent-based mediated solutions that so far were missing a common component of a formal approach to interoperability. This component should allow the profiling of a model-based solution, the measurement of the semantic distance between alternatives as well as the measurement of the distance between required capability and provided functionality, and a 359 978-1-4244-9865-9/10/$26.00 ©2010 IEEE