欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
WS-Notification
The WS-Notification OASIS standard consists of three specifications:
WS-BaseNotification defines standard message exchanges that allow one service to register or de-register with another, and to receive notification messages from that service. WS-BrokeredNotification builds on WS-BaseNotification to define the message exchanges to be implemented by a "Notification Broker." A Notification Broker is an intermediary that decouples the publishers of notification messages from the consumers of those messages; among other things, this allows publication of messages from entities that are not themselves Web service providers. WS-Topics provides an XML model to organize and categorize classes of events into "Topics," enabling users of WS-BaseNotification or WS-BrokeredNotification to specify the types of events in which they are interested.
WS-Notification was designed to fit well with related standards. It makes use of the Web Services Resource Framework (WSRF) OASIS Standard, and is, in turn, used by the Web Services Distributed Management (WSDM) OASIS Standard.
