Revisions to the GCS specification

UPDATE, MAY 22, JUNE 9 - JUNE 13 1997:

• Version 2.02
• Increased the number of tests to 110 to achieve complete structural coverage
• Final comments in spec

UPDATE, MAY 16-18:

• Version 2.01
• All previous tests now compatible with new event structures
• Fixed a bug with Admin(msg)
• Added new tests (acc. & rej) for GetAttributes, ChangeOpenAttr, and ChangePrivAttr.
• Attributes a no more booleans, as we want them explicit in the traces (we want "opened" in the trace, not "true" as in version 2.00).
• Reordered and renamed tests
• Used GetAttributes for verification of ChangeAdmin and ChangeModer
• Removed "supplementary" tests
• Added experimental Complex test
• Adapted and checked other Multicast protocols (below)

UPDATE, APRIL 18:

• Version 2.00
• Added three functionalities: ChangeOpenAttr, ChangePrivAttr, and GetAttributes. They are implemented.
• Renamed the booleans for attributes with more readable names.
• Got rid of most enumerated types based on HexDigit. Created EnumType type instead, simpler and easier to extend and reuse.
• Rewrote most ADT in terms of enumerations (especially AckErrorType)
• Split DoubleBuffer. Now called BiDirBuffer.
• Added directions to bidirectional channels. Added ADT in consequence.
• Added a new channel (sgcs_ch) for comm between Spawn_GCS and MGCS.
• Fixed MGCS for grouplists
• Fixed DeleteGroup so that only the admin can destroy it.
• Simplified ADT and made explicit SetAdmin and SetModer in their respective processes.
• BiDirBuffer now refuses requests from Nobody.

UPDATE, FEBRUARY 8:

• Inserted 40 probes as comments.
• Added 2 tests for complete coverage of probes.

UPDATE, JANUARY 27:

• Added simple test for refusal of requests to unknown GCS.
• Removed stress tests (they were redundant w.r.t. UCM tests)

UPDATE, JANUARY 24:

• Version 1.15
• Added UCM-based tests for DeRegistration, List of Members, Multicast, Deletion, ChangeAdmin and ChangeModer
• Restructuration of some guarded expressions (simplification)
• Fixed problem with Group Deletion (cases not properly covered)
• Fixed problems with ChangeAdmin and ChangeModer (when NoBody is used)
• Added new field (Sender) in ToApprove operation (for moderator)
• Multicast for group deletion is now sequential (for testing purpose)
• Ack ADMINMODERCHANGED split into ADMINCHANGED and MODERCHANGED
• Ack NOTADMINMODER split into NOTADMIN and NOTMODER
• Fixed problem encountered with Test5
• TO DO:
• A moderator should be implicitly member of a closed group
• Add several options as Multicast protocols
• Clean up High-yield (stress) tests

UPDATE, JANUARY 14, 1997:

• Version 1.14
• Added UCM-based tests for Creation, List of groups and Registration
• Restructuration of some guarded expressions (simplification)
• TO DO:
• Complete UCM tests
• Fix problem encountered with Test5
• A moderator should be implicitly member of a closed group
• Add several options as Multicast protocols.

UPDATE, AUGUST 15, 1996:

• Version 1.13
• Splitting of GCS process in multiple processes. More readable.
• DoubleBuffer now empties the request buffer when a group is deleted (accepted requests are not executed).
• Other Multicast protocols defined.
• TO DO:
• A moderator should be implicitly member of a closed group
• More systematic tests, inspired from UCM scenarios and combinations
• Add several options as Multicast protocols.
• Express group characteristics as policies?

UPDATE, JULY 8, 1996:

• Version 1.12
• Creation of team processes corresponding to the UCM architecture.
• Replacement of Listen by a bi-directional, infinite double buffer for requests and acknowledgements
• Completion of ADTs. Renaming of several constructs and types. Creation of a generic FIFO type.
• 7 test process defined, all with adequate use of ADTs. They all pass successfully.
• Correct management of administered groups
• Correct management of moderated groups
• Management of opened/closed groups
• Management of public/private groups
• TO DO:
• More systematic tests, inspired from UCM scenarios and combinations
• Split the GCS process (>200 lines)
• Add several options as Multicast protocols.
• Express group characteristics as policies?