*** Real-Time Maude 2.1 specification of the AER/NCA protocol suite, cont. *** By Peter Csaba Olveczky *** This file contains some classes which are common for many protocol *** components (tomod COMMON-CLASSES is including TIMED-OO-SYSTEM . including OID-SET . class Clock | clock : Time . *** The following attribute defines the multicast topology/routing table: class Sendable | children : OidSet . *** The repairserver attribute is part of the protocol, and is not part *** of the topology/routing table, but is updated when processing SPM *** messages: class Receivable | repairserver : DefOid . class Sender . subclass Sender < Sendable . class Receiver . subclass Receiver < Receivable . class Repairserver . subclass Repairserver < Sendable Receivable . *** Here are the common classes. They will be subclassed as subclasses *** of all the senders (resp., receivers and repairservers) at the *** appropriate places. class SenderCombined . class ReceiverCombined . class RepairserverCombined . *** We may sometimes be interested (such as when sending newRTT messages) *** in whether the object takes part in the combined protocol. But, strictly *** speaking, this may not be necessary, since for the purest setting, *** we could just have rules for each of the settings? sort CombinedObject . subsort CombinedObject < Object . var Q : Oid . mb (< Q : SenderCombined | >) : CombinedObject . mb (< Q : RepairserverCombined | >) : CombinedObject . mb (< Q : ReceiverCombined | >) : CombinedObject . endtom)