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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.