Hierarchical Activity-Based Models for Control Flows in Parallel Discrete Event System Specification Simulation Models

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 acti...

Full description

Saved in:
Bibliographic Details
Published in:IEEE access 2021, Vol.9, p.80970-80985
Main Authors: Alshareef, Abdurrahman, Sarjoughian, Hessam S.
Format: Article
Language:English
Subjects:
Activity diagrams
Analytical models
behavior modeling
Computational modeling
Computer architecture
DEVS
Discrete event systems
Mathematical model
Metamodels
Microprocessors
model-based design
Modeling
modeling & simulation
Modelling
parallelism
Role models
Semantics
Simulation
Simulators
software modeling
Specifications
Synchronism
Systems theory
Unified modeling language
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2169-3536
2169-3536
DOI:10.1109/ACCESS.2021.3084940