SlideWiki | undefined | WSMO Choreography: An Abstract State Machine Model (1)

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.

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:

There are currently no sources for this slide.

Current Slide