Interoperability, Composability, and Their Implications for Distributed Simulation: Towards Mathematical Foundations of Simulation Interoperability
Interoperability is generally defined as the ability to exchange data and to make use of these data within the receiving system. For information technology systems this definition makes perfect sense, as the exchange of data via common protocols in a shared infrastructure is the only way to make sys...
Gespeichert in:
| Veröffentlicht in: | 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications S. 3 - 9 |
|---|---|
| 1. Verfasser: | |
| Format: | Tagungsbericht |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.10.2013
|
| Schlagworte: | |
| ISSN: | 1550-6525 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Interoperability is generally defined as the ability to exchange data and to make use of these data within the receiving system. For information technology systems this definition makes perfect sense, as the exchange of data via common protocols in a shared infrastructure is the only way to make systems work with each other. For simulation systems, however, the exchange and use of data is necessary, but not sufficient. Simulation systems execute models, which represent purposeful abstractions and simplifications of a task-oriented reality. Meaningful interoperation of two systems requires the alignment of concepts represented in the underlying models. Composability ensures the alignment of these concepts by ensuring the consistent representation of interpretations of truth among all participating systems. The presented work uses a branch of mathematics called model theory to investigate definitions of interoperability and composability and provides the implications for verification and validation procedures, model-based approaches, and simulation interoperability standards. |
|---|---|
| AbstractList | Interoperability is generally defined as the ability to exchange data and to make use of these data within the receiving system. For information technology systems this definition makes perfect sense, as the exchange of data via common protocols in a shared infrastructure is the only way to make systems work with each other. For simulation systems, however, the exchange and use of data is necessary, but not sufficient. Simulation systems execute models, which represent purposeful abstractions and simplifications of a task-oriented reality. Meaningful interoperation of two systems requires the alignment of concepts represented in the underlying models. Composability ensures the alignment of these concepts by ensuring the consistent representation of interpretations of truth among all participating systems. The presented work uses a branch of mathematics called model theory to investigate definitions of interoperability and composability and provides the implications for verification and validation procedures, model-based approaches, and simulation interoperability standards. |
| Author | Tolk, Andreas |
| Author_xml | – sequence: 1 givenname: Andreas surname: Tolk fullname: Tolk, Andreas email: andreas.tolk@simisinc.com organization: Chief Scientist SimIS Inc., Portsmouth, VA, USA |
| BookMark | eNpdTt1KwzAYjTDBbXrnnTd5ADvzJc1PvZPN6WAiuHo90iVlkbYpSYrsOXxhRYeIV4fzy5mgUec7i9AlkBkAKW4Wm-ylnFECbKZO0IRIUXAOTIkRGgPnJBOc8jM0ifGNkJwRxcboY9UlG3xvg65c49LhGs992_v4S3VncLm3LuBV2zdup5PzXcS1D3jhYgquGpI1eOPaofn2bnHp33UwET_ptLftl7jTDV76oTPHsq__5PH_C-fotNZNtBdHnKLX5X05f8zWzw-r-d060zSHlNUaJFghDVHS5LTWkhnClQKrBK8kNQqUNsAKQiUHLQtFQVBJVUX4jhaMTdHVz66z1m774FodDlshCpIryT4BJ_1ogw |
| CODEN | IEEPAD |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1109/DS-RT.2013.8 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE/IET Electronic Library (IEL) (UW System Shared) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 0769551386 9780769551388 |
| EndPage | 9 |
| ExternalDocumentID | 6690487 |
| Genre | orig-research |
| GroupedDBID | 123 29O 6IE 6IF 6IH 6IK 6IL 6IM 6IN AAJGR AAWTH ACGFS ADZIZ ALMA_UNASSIGNED_HOLDINGS APO BEFXN BFFAM BGNUA BKEBE BPEOZ CBEJK CHZPO IJVOP IPLJI M43 OCL RIE RIL |
| ID | FETCH-LOGICAL-a241t-fa171e67d087d42fa73d05881e865b72d818ad13902751a7982162728b05c2933 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 30 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000330304300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1550-6525 |
| IngestDate | Wed Aug 27 03:58:04 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a241t-fa171e67d087d42fa73d05881e865b72d818ad13902751a7982162728b05c2933 |
| PageCount | 7 |
| ParticipantIDs | ieee_primary_6690487 |
| PublicationCentury | 2000 |
| PublicationDate | 2013-Oct. |
| PublicationDateYYYYMMDD | 2013-10-01 |
| PublicationDate_xml | – month: 10 year: 2013 text: 2013-Oct. |
| PublicationDecade | 2010 |
| PublicationTitle | 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications |
| PublicationTitleAbbrev | DISTRA |
| PublicationYear | 2013 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0043083 ssj0001254484 |
| Score | 2.0314164 |
| Snippet | Interoperability is generally defined as the ability to exchange data and to make use of these data within the receiving system. For information technology... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 3 |
| SubjectTerms | Aggregates composability Computational modeling Data models federation Interoperability Mathematical model model theory Protocols simulation standards validity |
| Title | Interoperability, Composability, and Their Implications for Distributed Simulation: Towards Mathematical Foundations of Simulation Interoperability |
| URI | https://ieeexplore.ieee.org/document/6690487 |
| WOSCitedRecordID | wos000330304300001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dT8IwFG2A-OCTH2D8Th98pNB1_Ri-ikQTJURmwhsp611CohthYOLv8A_bbmOg8cW3belD0267p_eeew5CNzFlEadGkVhpTbj2OXGaIISbSM6EoQCFSNKTGg6DyaQ3qqF21QsDADn5DDruMq_lmzRau1RZV9qjnAXYdVRXSha9Wjv5FGFPGnzzF-Y-zSU4HQInUjBRkd573f6YvISO1eV3gh-mKnlMGRz8bzaHqLVtzsOjKuwcoRokx-hg486Ay4-1ib7yZF-6gGUhxf3Zxm5QmlW3OjE4dIUC_LjDK8cWxuK-09N1Vlhg8Hj-Xnp83eIwZ9lm-LlSe9VveGvNlOE03hmPf0-hhV4H9-HdAyktGIi2oX1FYu0pD6QyNFCGs1gr31ARBJ7dQjFTzNh4r41Fka766WnVC5gnmWLBjIrIIgn_BDWSNIFThIF5ENvtkEJ5XGimfYipdJpPsQ8WVpyhplvj6aJQ2ZiWy3v-9-MLtO82sKDVXaLGarmGK7QXfazm2fI6fzW-AaY7um0 |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dT8IwFL1BNNEnVDB-2wcfKXRduw5fRSIRCJGZ8EbK2iUkuhE-TPwd_mHbbQ40vvi2NX1o2m337N5zzwG4jQgNGVECR0JKzKTLsNUEwUyF3pQronUmktQTg4E_HreGJagXvTBa65R8phv2Mq3lqyRc21RZ0zO_cgZg78AuZ4ySrFtrK6NiRm3XZfYdZi5JRTgtBscep7ygvbea7RF-Diyvy234P2xV0qjSqfxvPYdQ27TnoWEReI6gpONjqHz7M6D8da3CZ5ruS-Z6kYlxf9SRnZQsi1sZKxTYUgHqbjHLkQGyqG0Vda0ZllZoNHvLXb7uUJDybJeoX-i9yle0MWdaoiTamo9-L6EGL52H4P4R5yYMWJrgvsKRdISjPaGILxSjkRSuItz3HXOIfCqoMhFfKoMjbf3TkaLlU8ejgvpTwkODJdwTKMdJrE8BaeroyByHx4XDuKTS1RHxrOpT5GoDLM6gavd4Ms90Nib59p7_PXwD-49BvzfpdQdPF3BgDzMj2V1CebVY6yvYC99Xs-XiOn1MvgCCpL20 |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=proceeding&rft.title=2013+IEEE%2FACM+17th+International+Symposium+on+Distributed+Simulation+and+Real+Time+Applications&rft.atitle=Interoperability%2C+Composability%2C+and+Their+Implications+for+Distributed+Simulation%3A+Towards+Mathematical+Foundations+of+Simulation+Interoperability&rft.au=Tolk%2C+Andreas&rft.date=2013-10-01&rft.pub=IEEE&rft.issn=1550-6525&rft.spage=3&rft.epage=9&rft_id=info:doi/10.1109%2FDS-RT.2013.8&rft.externalDocID=6690487 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1550-6525&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1550-6525&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1550-6525&client=summon |