Academic Journal
DEVS Closure Under Coupling, Universality, and Uniqueness: Enabling Simulation and Software Interoperability from a System-Theoretic Foundation.
| Τίτλος: | DEVS Closure Under Coupling, Universality, and Uniqueness: Enabling Simulation and Software Interoperability from a System-Theoretic Foundation. |
|---|---|
| Συγγραφείς: | Zeigler, Bernard P., Kewley, Robert, Wainer, Gabriel |
| Πηγή: | Computers (2073-431X); Dec2025, Vol. 14 Issue 12, p514, 39p |
| Θεματικοί όροι: | Computer simulation, Uniqueness (Mathematics), Theorists, Modular design, Software frameworks, Synchronization, Discrete systems |
| Περίληψη: | This article explores the foundational mechanisms of the Discrete Event System Specification (DEVS) theory—closure under coupling, universality, and uniqueness—and their critical role in enabling interoperability through modular, hierarchical simulation frameworks. Closure under coupling empowers modelers to compose interconnected models, both atomic and coupled, into unified systems without departing from the DEVS formalism. We show how this modular approach supports the scalable and flexible construction of complex simulation architectures on a firm system-theoretic foundation. Also, we show that facilitating the transformation from non-modular to modular and hierarchical structures endows a major benefit in that existing non-modular models can be accommodated by simply wrapping them in DEVS-compliant format. Therefore, DEVS theory simplifies model maintenance, integration, and extension, thereby promoting interoperability and reuse. Additionally, we demonstrate how DEVS universality and uniqueness guarantee that any system with discrete event interfaces can be structurally represented with the DEVS formalism, ensuring consistency across heterogeneous platforms. We propose that these mechanisms collectively can streamline simulator design and implementation for advancing simulation interoperability. [ABSTRACT FROM AUTHOR] |
| Copyright of Computers (2073-431X) is the property of MDPI and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Βάση Δεδομένων: | Complementary Index |
| FullText | Text: Availability: 0 CustomLinks: – Url: https://resolver.ebsco.com/c/fiv2js/result?sid=EBSCO:edb&genre=article&issn=2073431X&ISBN=&volume=14&issue=12&date=20251201&spage=514&pages=514-552&title=Computers (2073-431X)&atitle=DEVS%20Closure%20Under%20Coupling%2C%20Universality%2C%20and%20Uniqueness%3A%20Enabling%20Simulation%20and%20Software%20Interoperability%20from%20a%20System-Theoretic%20Foundation.&aulast=Zeigler%2C%20Bernard%20P.&id=DOI:10.3390/computers14120514 Name: Full Text Finder (for New FTF UI) (ns324271) Category: fullText Text: Full Text Finder MouseOverText: Full Text Finder |
|---|---|
| Header | DbId: edb DbLabel: Complementary Index An: 190520430 RelevancyScore: 1041 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 1040.81262207031 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: DEVS Closure Under Coupling, Universality, and Uniqueness: Enabling Simulation and Software Interoperability from a System-Theoretic Foundation. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Zeigler%2C+Bernard+P%2E%22">Zeigler, Bernard P.</searchLink><br /><searchLink fieldCode="AR" term="%22Kewley%2C+Robert%22">Kewley, Robert</searchLink><br /><searchLink fieldCode="AR" term="%22Wainer%2C+Gabriel%22">Wainer, Gabriel</searchLink> – Name: TitleSource Label: Source Group: Src Data: Computers (2073-431X); Dec2025, Vol. 14 Issue 12, p514, 39p – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Computer+simulation%22">Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Uniqueness+%28Mathematics%29%22">Uniqueness (Mathematics)</searchLink><br /><searchLink fieldCode="DE" term="%22Theorists%22">Theorists</searchLink><br /><searchLink fieldCode="DE" term="%22Modular+design%22">Modular design</searchLink><br /><searchLink fieldCode="DE" term="%22Software+frameworks%22">Software frameworks</searchLink><br /><searchLink fieldCode="DE" term="%22Synchronization%22">Synchronization</searchLink><br /><searchLink fieldCode="DE" term="%22Discrete+systems%22">Discrete systems</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: This article explores the foundational mechanisms of the Discrete Event System Specification (DEVS) theory—closure under coupling, universality, and uniqueness—and their critical role in enabling interoperability through modular, hierarchical simulation frameworks. Closure under coupling empowers modelers to compose interconnected models, both atomic and coupled, into unified systems without departing from the DEVS formalism. We show how this modular approach supports the scalable and flexible construction of complex simulation architectures on a firm system-theoretic foundation. Also, we show that facilitating the transformation from non-modular to modular and hierarchical structures endows a major benefit in that existing non-modular models can be accommodated by simply wrapping them in DEVS-compliant format. Therefore, DEVS theory simplifies model maintenance, integration, and extension, thereby promoting interoperability and reuse. Additionally, we demonstrate how DEVS universality and uniqueness guarantee that any system with discrete event interfaces can be structurally represented with the DEVS formalism, ensuring consistency across heterogeneous platforms. We propose that these mechanisms collectively can streamline simulator design and implementation for advancing simulation interoperability. [ABSTRACT FROM AUTHOR] – Name: Abstract Label: Group: Ab Data: <i>Copyright of Computers (2073-431X) is the property of MDPI and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edb&AN=190520430 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.3390/computers14120514 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 39 StartPage: 514 Subjects: – SubjectFull: Computer simulation Type: general – SubjectFull: Uniqueness (Mathematics) Type: general – SubjectFull: Theorists Type: general – SubjectFull: Modular design Type: general – SubjectFull: Software frameworks Type: general – SubjectFull: Synchronization Type: general – SubjectFull: Discrete systems Type: general Titles: – TitleFull: DEVS Closure Under Coupling, Universality, and Uniqueness: Enabling Simulation and Software Interoperability from a System-Theoretic Foundation. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Zeigler, Bernard P. – PersonEntity: Name: NameFull: Kewley, Robert – PersonEntity: Name: NameFull: Wainer, Gabriel IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: Dec2025 Type: published Y: 2025 Identifiers: – Type: issn-print Value: 2073431X Numbering: – Type: volume Value: 14 – Type: issue Value: 12 Titles: – TitleFull: Computers (2073-431X) Type: main |
| ResultId | 1 |