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 |