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