![]() As a conclusion, we discuss how the final metamodel can be used to support interoperability with DEVS simulation tools. ![]() As an example, we show how our metamodel can be used to define the classic “switch” model. To instantiate our metamodel, we propose a computer-aided environment that has been developed using the Eclipse Modeling Project. This allows us to define instances of our conceptualization that comply with the DEVS formal specification. That is, our metamodel includes all the concepts and relationships needed to define the formal specification of DEVS atomic models. The main contribution is a novel conceptualization of classic DEVS with ports founded on existing approaches but that also includes new improved elements related to the definition of atomic models. In this paper, we improve the interplay of abstraction (i.e., formal specification) and concreteness (i.e., programming code implementation) in advancing the theory and practice of DEVS using a specific-designed metamodel. Hence, building an implementation of formal models in a way that ensures DEVS formalism correctness is not easy. When concrete DEVS models are developed using programming languages, it is difficult to ensure they conform to their formal model. ![]() The Discrete-Event System Specification (DEVS) formalism is a modeling formalism based on systems theory that provides a general methodology for hierarchical construction of reusable models in a modular way. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |