Este artículo explora los mecanismos fundamentales de la teoría de Especificación de Sistemas de Eventos Discretos (DEVS): cierre bajo acoplamiento, universalidad y unicidad, y su papel crítico en la habilitación de la interoperabilidad a través de marcos de simulación modulares y jerárquicos. El cierre bajo acoplamiento empodera a los modeladores para componer modelos interconectados, tanto atómicos como acoplados, en sistemas unificados sin apartarse del formalismo DEVS. Mostramos cómo este enfoque modular respalda la construcción escalable y flexible de arquitecturas de simulación complejas sobre una sólida base teórica de sistemas. Además, demostramos que facilitar la transformación de estructuras no modulares a modulares y jerárquicas otorga un beneficio importante en que los modelos existentes no modulares pueden ser acomodados simplemente envolviéndolos en un formato compatible con DEVS. Por lo tanto, la teoría DEVS simplifica el mantenimiento, la integración y la extensión de modelos, promoviendo así la interoperabilidad y la reutilización. Adicionalmente, mostramos cómo la universalidad y unicidad de DEVS garantizan que cualquier sistema con interfaces de eventos discretos puede ser representado estructuralmente con el formalismo DEVS, asegurando consistencia a través de plataformas heterogéneas. Proponemos que estos mecanismos, en conjunto, pueden agilizar el diseño y la implementación de simuladores para avanzar en la interoperabilidad de simulación.
Zeigler et al. (Mon,) estudiaron esta cuestión.