Behavioral DEVS metamodeling

Sarjoughian, Hessam S.; Alshareef, Abdurrahman; Lei, Yonglin

doi:10.1109/wsc.2015.7408384

Cited by 10 publications

(12 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In an earlier study [4], we proposed a metamodel for the DEVS atomic model spanning the MDA concepts and techniques. We extend the core Eclipse Modeling Framework (EMF) [5] model with primitive notions for behavioral specifications to make behavioral modeling possible along with structural specifications.…”

Section: A Modeling Layersmentioning

confidence: 99%

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

Alshareef

Sarjoughian

2021

IEEE Access

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: A Modeling Layersmentioning

confidence: 99%

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

Alshareef

Sarjoughian

2021

IEEE Access

Self Cite

View full text Add to dashboard Cite

show abstract

“…Complexity and scale traits [38] poses challenges with models of non-trivial dynamics. The depicted metamodel in [39] shows an EMF realization of meta-behavior concepts of the atomic DEVS model.…”

Section: Devs-based Simulation Of Activitiesmentioning

confidence: 99%

Simulation, Model Checking, and Execution of Activity Models

Alshareef,

Sarjoughian

2021

Preprint

Self Cite

View full text Add to dashboard Cite

This paper presents our findings for using activity modeling for simulation (validation), model checking (verification), and execution purposes. Each is needed to tackle system complexity and further research into behavioral modeling. We argue different models implicate different understandings and expectations. We emphasize some distinctions with demonstrations using the Discrete Event System Specification with an exemplary model. In particular, the continuous-time base in models helps observe some inherent limitations and strengths in acquiring each capability. The temporal characterization of input, output, and state, or the lack thereof, is at the core of developing behavioral specifications. We use DEVS to arrive at the capability of validating simulations for activity models. We use Constrained-DEVS for the verification of activity models. We show how some executions can be derived, whether from the specification itself or with considerations for simulation and model checking.

show abstract

“…For transforming the PIM into a hyPDEVS-specific PSM implementation using M2M transformation, we also need to formalize a meta-model for the hyPDEVS formalism. Several DEVS meta-models have been proposed in the literature [57,203,240,315]. Since most of them focus on Classic DEVS, we had to adapt these meta-models for hyPDEVS, shown in Figure 7.…”

Section: Hypdevs Metamodelmentioning

confidence: 99%

Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning

Heinzl¹

2020

View full text Add to dashboard Cite

Production Planning (PPC) optimization in the operation of industrial production plants enables to achieve energy savings and improve energy efficiency. To provide decision support in production planning, simulation-based methods are particularly well-suited for complex production system to assess different planning scenarios and evaluate them with regard to their energy demand. To this end, a hybrid discrete/continuous modeling approach based on the Discrete-Event System Specification (DEVS) is investigated in this thesis. Hybrid modeling allows to accurately capture material flows as discrete entities on one hand and continuous energy flows on the other hand, in the production as well as for other domains, such as heating or cooling, up to the thermal building envelope, including their dynamic interactions. A meta-heuristic optimization procedure for operative production planning evaluates energy efficiency together with other production goals (delivery tardiness, storage costs, etc.) as part of a multi-objective optimization. The procedure follows a hybrid Variable Neighborhood Search (VNS) meta-heuristic and uses the hybrid simulation for the energetic evaluation of production programs. The VNS uses special energy-related operators, for example to optimize the setup times of heating ovens, in order to save energy. Furthermore, to support the modeling process of such DEVS-based simulations in practical applications, a domain-specific model abstraction is designed, which allows to describe hybrid simulation models in an intuitive way. The method is based on a Model-Driven Engineering (MDE) process and defines a component-based meta-model for production systems. Concrete implementations can be derived from the abstract specification by means of model transformations. Proof-of-concept implementations are realized to evaluate the individual contributions and case studies from industry demonstrate the practical applicability. The hybrid simulation approach was implemented in its entirety as a simulator prototype, together with reusable model components, which can be used by practitioners to design new application models with reduced efforts. Altogether, these methods contribute to the integration of energy efficiency aspects into modern PPC systems and to increase energy efficiency in production. i Kurzfassung Im operativen Betrieb von industriellen Anlagen lassen sich durch optimierte Produktionsplanung und-steuerung (PPS) gezielt Energieeinsparungen erreichen und die Energieeffizienz verbessern. Zur Entscheidungsunterstützung bieten sich gerade bei komplexen Produktionssystemen simulationsbasierte Methoden an, die es ermöglichen, unterschiedliche Planungsszenarien zu vergleichen und hinsichtlich ihres Energieeinsatzes zu bewerten. Dafür wird in der vorliegenden Arbeit ein hybrider diskret/kontinuierlicher Modellierungsansatz untersucht, der auf der Discrete-Event System Specification (DEVS) basiert. Die hybride Modellierung erlaubt es einerseits die Materialflüsse als diskrete Entitäten, andererseits auch die zei...

show abstract

Behavioral DEVS metamodeling

Cited by 10 publications

References 9 publications

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

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

Simulation, Model Checking, and Execution of Activity Models

Methods for Hybrid Modeling and Simulation-Based Optimization in Energy-Aware Production Planning

Contact Info

Product

Resources

About