Abstract
Behavior modeling grounded in the Discrete-Event System Specification (DEVS) and Unified Modeling Language (UML) activity specifications is crucial for simulating dynamical systems. The Model-Driven Architecture (MDA) design approach provides flexible yet rigorous layered metamodels for the UML activity diagrams. Our approach for behavior modeling is focused on the action and control concepts in the UML activity metamodels and realizing them as artifacts according to the DEVS formalism. The syntax and semantics for the artifacts conform to the parallel DEVS model specification and execution protocol. We use the system-theoretic state, component, and hierarchy concepts as the foundation for formulating the DEVS Activity models and supported with a prototype graphical tool developed in Sirius. This research also proposes the Parallel DEVS as a formal approach for examining the semantics of the UML Activities. We develop, simulate, and analyze a set of prototypical multi-processor architecture systems demonstrating different synchronization and selection schemes using the DEVS-Suite and MS4 Me simulators.
Highlights
Dealing with different parts of a system model can be problematic, when the parts are scattered within and across different abstraction hierarchies
The contribution of this paper is the grounding of our previous works on a behavioral modeling framework supported with the model-driven architecture (MDA) metamodeling, Unified Modeling Language (UML) activity diagrams, and parallel Discrete-Event System Specification (DEVS) formalism
MODELING LAYERS In an earlier study [4], we proposed a metamodel for the DEVS atomic model spanning the MDA concepts and techniques
Summary
Dealing with different parts of a system model can be problematic, when the parts are scattered within and across different abstraction hierarchies. Components do not have to resemble each other except at high levels of abstraction that are often rendered difficult to concretize in the computational models Given these types of systems, some models, such as synchronous reactive components, provide strong constraints for timing, state change, and composition. The contribution of this paper is the grounding of our previous works on a behavioral modeling framework supported with the MDA metamodeling, UML activity diagrams, and parallel DEVS formalism. This framework lays out the basis for an activity-based modeling approach focusing on action and control nodes in a flow-based manner for simulation modeling and, in particular, for parallel DEVS models. We detail the semantics of the modeling approach in conjunction with demonstrations of certain aspects of multi-processing architectures
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
