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.
WSMO Choreography: An Abstract State Machine Model (1)
- Why ASMs-based model?
- Minimality: ASMs are based on a small assortment of modeling primitives
- Expressivity: ASMs can model arbitrary computations
- Formality: ASMs provide a formal framework to express dynamics
- Basic mechanism in ASMs:
- A signature defines predicates and functions to be used in the description. Ground facts specify the underlying database states.
- State changes are described using transition rules, which specify how the states change by falsifying (deleting) some previously true facts and inserting (making true) some other facts.
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.