Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Execution Semantics

  • What is it?
    • It is a formal description of the operational behavior of the system.
    • By separating the description of the system behavior from the system implementation greater flexibility can be achieved.
  • Why is it important?
    • It provides a mechanism to test, simulate and verify the SWS specification, identify anomalies such as deadlocks, livelocks and tasks that are never reached.
    • It provides sound foundation to build an engine being able to execute created models.
    • It improves or even rules out ambiguities in model understanding by humans.
  • What is expected from the framework?
    • Framework should provide means to specify and run formal execution semantics.

Speaker notes:

Content Tools


There are currently no sources for this slide.