nsis-3----Page:3
1  2  3  4  5  6 

State machine modeling and representation
Two modeling paradigms:
1 - Signaling initiator, intermediary and responder
2 - Query node and responder node
Case 1 works but appears to be unnecessarily complex
seems to be appropriate to the NSLPs.
The next version of the GIMPS state machine will document use paradigm 2

Current representation aspects:
The FSM handles GIMPS messages that match a Message Routing State's MRI and NSLPID
No protocol errors are currently handled
Not all objects included in a message are shown
Only those that are significant for the case are shown
PPT Version