Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Open Model CourseWare (OMCW)/resources/chapter07
Open Model CourseWare (OMCW) Available Resources (Teaching Material)
Chapter 7 - Model Validation & Executability
This chapter covers initiatives related to model verification/validation or like Action Semantics for UML and Executable UML.
List of Files
| Behavioral Modeling with Petri Nets for Verification | This lecture provides a methodology for modeling the behaviors of systems, using Petri Nets, in order to verify them. |
|---|---|
| Introduction to Model-Driven Simulation | This lecture introduces Model-Driven Simulation by presenting a specific simulation scenario. |