Model theoretic implications for agent languages in support of interoperability and composability

Authors:
Andreas Tolk;Saikou Y. Diallo;Jose J. Padilla;Heber Herencia-Zapana
Affiliations:
Old Dominion University, Norfolk, VA;Old Dominion University, Suffolk, VA;Old Dominion University, Suffolk, VA;National Institute of Aerospace, Hampton, VA
Venue:
Proceedings of the Winter Simulation Conference
Year:
2011

Citing 7
Cited 1

A specification language to assist in analysis of discrete event simulation models

Communications of the ACM
Observations on the complexity of composable simulation

Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
Model-Based Data Engineering for Web Services

IEEE Internet Computing
Exploring agent-supported simulation brokering on the semantic web: foundations for a dynamic composability approach

WSC '04 Proceedings of the 36th conference on Winter simulation
XML mediation services utilizing model based data management

WSC '04 Proceedings of the 36th conference on Winter simulation
Hierarchical Federation Composition for Information Hiding in HLA-Based Distributed Simulation

DS-RT '10 Proceedings of the 2010 IEEE/ACM 14th International Symposium on Distributed Simulation and Real Time Applications
Using a formal approach to simulation interoperability to specify languages for ambassador agents

Proceedings of the Winter Simulation Conference

Semiotics, entropy, and interoperability of simulation systems: mathematical foundations of M&S standardization

Proceedings of the Winter Simulation Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper evaluates the implications of model theory for agent languages. The tasks of ambassador agents are to represent simulations and identify potential contributions, select the best solutions in light of the question, compose the selected best solutions to provide the new functionality, and orchestrate their execution. Model-based data engineering can help to identify the information that needs to be exchanged between systems, existential and transformational dependencies can be identified using graph theory, and Petri nets can represent the availability of required information. All structures can be computed and fall under the realm of formal languages. Model theory is a subset of mathematics that focuses on the study of formal languages and their interpretations. Interpreting the terms model, simulation, and data of the modeling and simulation community using model theoretic terms allows the application of model theoretic insights. This allows to formally and unambiguously capture requirements for interoperability and composability.