2-2 FallcService, v1.1 März 2001 2 Schnittstelle PushConsumer { leeres raises(Disconnected) des Stosses (in irgendwelchen Daten); leeres disconnect_push_consumer(); }; Schnittstelle PushSupplier { leeres disconnect_push_supplier(); }; Schnittstelle PullSupplier { irgendwelche ziehen () raises(Disconnected); irgendein try_pull (aus Booleschem has_event) raises(Disconnected); leeres disconnect_pull_supplier(); }; Schnittstelle PullConsumer { leeres disconnect_pull_consumer(); }; }; 2,1,1 Die Schnittstelle PushConsumer Ein Drückenartverbraucher stützt das PushConsumer schließen Sie an, um Falldaten zu empfangen. schließen Sie PushConsumer an { heben Sie raises(Disconnected) des Stosses (in irgendwelchen Daten) auf; heben Sie disconnect_push_consumer() auf; }; Ein Lieferant teilt Falldaten zum Verbraucher mit, indem er den Stoß hervorruft Betrieb und die Falldaten als Parameter übermittelnd. Das disconnect_push_consumer Betrieb beendet die Fallkommunikation; es gibt die Betriebsmittel frei, die am Verbraucher benutzt werden, um die Fallkommunikation zu stützen. PushConsumer Gegenstandhinweis wird abgeschaffen. Benennen disconnect_push_consumer veranläßt die Implementierung, das disconnect_push_supplier zu benennen Betrieb auf entsprechendes PushSupplier Schnittstelle (wenn diese Schnittstelle bekannt). 2,1,2 Die Schnittstelle PushSupplier Ein Drückenartlieferant stützt das PushSupplier Schnittstelle. Schnittstelle PushSupplier { leeres disconnect_push_supplier(); };