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

Sources

There are currently no sources for this slide.