Skip to main content

Notice: This Wiki is now read only and edits are no longer possible. Please see: for the plan.

Jump to: navigation, search

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.

Back to the top