Exploratory modeling for policy analysis
Operations Research
Models, composability, and validity
Models, composability, and validity
Model-Based Data Engineering for Web Services
IEEE Internet Computing
WSC '04 Proceedings of the 36th conference on Winter simulation
Proceedings of the 38th conference on Winter simulation
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Proceedings of the 40th Conference on Winter Simulation
Towards a theory of understanding within problem situations
Towards a theory of understanding within problem situations
Formal specification of multisimulations using Maude
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Model theoretic implications for agent languages in support of interoperability and composability
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
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.