R-daneel-olivaw / metamodel-checker

Research goal 1 for MMath
1 stars 0 forks source link

Verify the procedure #9

Closed R-daneel-olivaw closed 9 years ago

R-daneel-olivaw commented 9 years ago

Verify the procedure from the document from Eduardo

R-daneel-olivaw commented 9 years ago

The procedure as per the document,

  1. environment is defined

    a. define context model (if needed) b. publisher component registers (enters) with environment

  2. publisher component creates an advertisement for temperature events
  3. subscriber component registers (enters) with environment
  4. subscriber component creates a subscription for temperature events
  5. publisher publishes a temperature event
  6. environment verifies if published event matches publisher advertisement
  7. environment checks if any subscriptions exist for published temperature event
  8. environment checks if subscriber subscription matches published temperature event
  9. environment delivers (notification) temperature event to subscriber
R-daneel-olivaw commented 9 years ago

will be taking this on next