Property 7: Dispatcher notifies artists in order

DESCRIPTION

Requirement: If artist a1 registers for event e1 before artist a2 does, then once dispatcher receives e1 from the ADT, it will not notify a2 before notifying a1.

SPECIFICATION

• Native SPIN
• INCA-SPIN
• INCA-SMV
• INCA
• FLAVERS

Up to Chiron Decomposed Dispatcher (2 artists, 2 events)

Forward to Property 8

Back to Property 6