SlideWiki | undefined | Execution Semantics

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.

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:

There are currently no sources for this slide.

Current Slide