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