research-article

Using a formal approach to simulation interoperability to specify languages for ambassador agents

Authors:

Saikou Y. DialloAuthors Info & Claims

WSC '10: Proceedings of the Winter Simulation Conference

Pages 359 - 370

Published: 05 December 2010 Publication History

Abstract

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.

References

[1]

Ackoff, R. 1989. From Data to Wisdom. Journal of Applies Systems Analysis, 16, 3--9

[2]

Bankes, S. 1993. Exploratory Modeling for Policy Analysis. Operations Research, 41(3):435--449

Digital Library

[3]

Diallo, S. Y. 2010. Towards a Formal Theory of Interoperability. Doctoral thesis at Old Dominion University, Frank Batten College of Engineering and Technology, Norfolk, VA

[4]

IEEE. 1990. A Compilation of IEEE Standard Computer Glossaries. New York: IEEE Press

[5]

IEEE. 2000. IEEE Standard 1516 on High Level Architecture. IEEE CS Press

[6]

IEEE. 2002. IEEE Standard 1278 on Distributive Interactive Simulation. IEEE Press

[7]

Numrich, S. K, and A. Tolk. 2010. Challenges for Human, Social, Cultural, and Behavioral Modeling. SCS M&S Magazine 1(1), January

[8]

Padilla, J. J. 2010. Towards a Theory of Understanding Within Problem Situations. Doctoral thesis at Old Dominion University, Frank Batten College of Engineering and Technology, Norfolk, VA

Digital Library

[9]

Tolk, A. 2009. New M&S Challenges derived from the NATO Research & Technology Organization (RTO) Systems Analysis Studies (SAS-071) Task Group on Analytical Tools for Irregular Warfare In Proceedings of the 2009 Winter Simulation Conference, eds. M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin and R. G. Ingalls, 2844--2851. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[10]

Tolk A., and S. Y. Diallo. 2005. Model-based Data Engineering for Web Services. IEEE Internet Computing 9(4):65--70

Digital Library

[11]

Tolk, A., S, Y. Diallo, and C. D. Turnitsa. 2008. Mathematical Models towards Self-Organizing Formal Federation Languages based on Conceptual Models of Information Exchange Capabilities. In Proceedings of the 2008 Winter Simulation Conference, eds. S. J. Mason, R. R. Hill, L. Mönch, O. Rose, T. Jefferson, J. W. Fowler, 966--974. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[12]

Tolk, A., S. Y. Diallo, R. D. King, C. D. Turnitsa, and J. Padilla. 2010. Conceptual Modeling for Composition of Model-based Complex Systems. In S. Robinson, R. Brooks, K. Kotiadis, and D.-J. van der Zee (Eds.) Conceptual Modelling for Discrete-Event Simulation, CRC Press, pp. 355--381

[13]

Tolk, A. and J. A. Muguira. 2003. The Levels of Conceptual Interoperability Model. Proceedings of the Fall Simulation Interoperability Workshop, September 14--19, Orlando, FL, IEEE CS Press

[14]

Weisel, E. Y. 2005. Models, Composability, and Validity. Doctoral thesis at Old Dominion University, Frank Batten College of Engineering and Technology, Norfolk, VA

Digital Library

[15]

Yilmaz, L. 2004. On the Need for Contextualized Introspective Simulation Models to Improve Reuse and Composability of Defense Simulations. Journal of Defense Modeling and Simulation 1(3):135--145

[16]

Yilmaz, L. 2007. A Strategy for Improving Dynamic Composability: Ontology-driven Introspective Agent Architectures. Journal of Systemics, Cybernetics and Informatics 5(5):1--9, IIIS

[17]

Yilmaz, L. 2007a. Using Meta-Level Ontology Relations to measure Conceptual Alignment and Interoperability in Simulation Models. In Proceedings of the 2007 Winter Simulation Conference, eds. S. G. Henderson, B. Biller, M.-H Hsieh, J. Shortle, J. D. Tew, and R. R. Barton, 1090--1099. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[18]

Yilmaz, L. and B. Mitchell. 2008. Autonomic Introspective Simulation Systems. In L. Yilmaz and T. Oren (eds.) Agent-directed Simulation and Systems Engineering, Wiley-Berlin, pp. 37--72

[19]

Yilmaz, L. and T. Oren. 2004. Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for a Dynamic Composability Approach. In Proceedings of the 2004 Winter Simulation Conference, eds. R. G. Ingalls, M. D. Rossetti, J. S. Smith, and B. A. Peters, 766--773. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[20]

Yilmaz, L. and S. Paspulleti. 2005. Toward a meta-level framework for agent-supported interoperation of defense simulations. Journal of Defense Modeling and Simulation 2(3):161--175

[21]

Yilmaz L. and A. Tolk. 2006. Engineering ab initio dynamic interoperability and composability via agentmediated introspective simulation. In Proceedings of the 2006 Winter Simulation Conference, eds. L. R. Perrone, F. P. Wieland, J. Liu, B. G. Lawson, D. M. Nicol, and R. M. Fujimoto, 1075--1182. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, Inc.

Digital Library

[22]

Yilmaz, L. and A. Tolk. 2008. A Unifying Multimodel Taxonomy and agent-supported Multisimulation Strategy for Decision Support. In G. Phillips-Wren, N. Ichalkaranje, and L. Jain (Eds.) Intelligent Decision Making: An AI-Based Approach, Studies in Computational Intelligence 97:193--226, Springer-Verlag Berlin Heidelberg

Cited By

Bair LTolk AHill RKuhl M(2013)Towards a unified theory of validationProceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World10.5555/2675983.2676141(1245-1256)Online publication date: 8-Dec-2013
https://dl.acm.org/doi/10.5555/2675983.2676141
Jalali LTalcott CVenkatasubramanian NMehrotra SWainer GMosterman P(2012)Formal specification of multisimulations using MaudeProceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium10.5555/2346616.2346638(1-8)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.5555/2346616.2346638
Tolk ABalci ODiallo SFishwick PHu XLoper MPetty MReynolds PSarjoughian HZeigler B(2011)Towards a methodological approach to identify future M&S standard needsProceedings of the Winter Simulation Conference10.5555/2431518.2431872(2980-2997)Online publication date: 11-Dec-2011
https://dl.acm.org/doi/10.5555/2431518.2431872
Show More Cited By

Index Terms

Using a formal approach to simulation interoperability to specify languages for ambassador agents
1. Computing methodologies
  1. Artificial intelligence
    1. Distributed artificial intelligence
      1. Multi-agent systems
  2. Modeling and simulation
    1. Simulation support systems
      1. Simulation languages
    2. Simulation theory

Recommendations

A formal approach to protocol interoperability testing
Abstract
Protocol Interoperability testing is an important means to ensure the interconnection and interoperation between protocol products. In this paper, we proposed a formal approach to protocol interoperability testing based on the operational ...
Informal and Formal Requirements Specification Languages: Bridging the Gap

The differences between informal and formal requirements specification languages are noted, and the issue of bridging the gap between them is discussed. Using structured analysis (SA) and the Vienna development method (VDM) as surrogates for informal ...
Facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WSC '10: Proceedings of the Winter Simulation Conference

December 2010

3519 pages

ISBN:9781424498642

Sponsors

IIE: Institute of Industrial Engineers
INFORMS-SIM: Institute for Operations Research and the Management Sciences: Simulation Society
SCS: Shanghai Computer Society
SIGSIM: ACM Special Interest Group on Simulation and Modeling

Publisher

Winter Simulation Conference

Publication History

Published: 05 December 2010

Check for updates

Qualifiers

Research-article

Conference

WSC10

Sponsor:

IIE
INFORMS-SIM
SCS
SIGSIM

WSC10: Winter Simulation Conference

December 5 - 8, 2010

Maryland, Baltimore

Acceptance Rates

WSC '10 Paper Acceptance Rate 184 of 281 submissions, 65%;

Overall Acceptance Rate 3,413 of 5,075 submissions, 67%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
36
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 06 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bair LTolk AHill RKuhl M(2013)Towards a unified theory of validationProceedings of the 2013 Winter Simulation Conference: Simulation: Making Decisions in a Complex World10.5555/2675983.2676141(1245-1256)Online publication date: 8-Dec-2013
https://dl.acm.org/doi/10.5555/2675983.2676141
Jalali LTalcott CVenkatasubramanian NMehrotra SWainer GMosterman P(2012)Formal specification of multisimulations using MaudeProceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium10.5555/2346616.2346638(1-8)Online publication date: 26-Mar-2012
https://dl.acm.org/doi/10.5555/2346616.2346638
Tolk ABalci ODiallo SFishwick PHu XLoper MPetty MReynolds PSarjoughian HZeigler B(2011)Towards a methodological approach to identify future M&S standard needsProceedings of the Winter Simulation Conference10.5555/2431518.2431872(2980-2997)Online publication date: 11-Dec-2011
https://dl.acm.org/doi/10.5555/2431518.2431872
Tolk ADiallo SPadilla JHerencia-Zapana H(2011)Model theoretic implications for agent languages in support of interoperability and composabilityProceedings of the Winter Simulation Conference10.5555/2431518.2431551(309-320)Online publication date: 11-Dec-2011
https://dl.acm.org/doi/10.5555/2431518.2431551

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents