Abstract:This paper describes the design of SIENA, an Internet-scale event notification middleware service for distributed eventbased applications deployed over wide-area networks. SIENA is responsible for selecting the notifications that are of interest to clients (as expressed in client subscriptions) and then delivering those notifications to the clients via access points. The key design challenge for SIENA is maximizing expressiveness in the selection mechanism without sacrificing scalability of the delivery mechan… Show more
“…C initiates authentication by presenting a User-Supplied Identifier to the SP via its User-Agent. 4. SP establishes an Endpoint URL used by C for authentication.…”
Section: Federated Identity Examplementioning
confidence: 99%
“…In content-based EN, component decoupling is enforced by allowing subscribers to register for events satisfying a given property. When an event is emitted the middleware has to dispatch it to all the subscribers whose property holds on that event (an example of content-based is SIENA [4]). Notoriously, content-based dispatching mechanisms must be efficient because notification sets, i.e.…”
Abstract. We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., services). Basically, the type system expresses coordination policies for handling the events spawn in a network so that distributed components react to events when the type of their public interface is "compatible" with (the policies expressed by) the types of signals.Remarkably, the type system can naturally handle multi-party sessions, as shown in the formalisation of the OpenID protocol which requires multi-party sessions for handling user identities.
“…C initiates authentication by presenting a User-Supplied Identifier to the SP via its User-Agent. 4. SP establishes an Endpoint URL used by C for authentication.…”
Section: Federated Identity Examplementioning
confidence: 99%
“…In content-based EN, component decoupling is enforced by allowing subscribers to register for events satisfying a given property. When an event is emitted the middleware has to dispatch it to all the subscribers whose property holds on that event (an example of content-based is SIENA [4]). Notoriously, content-based dispatching mechanisms must be efficient because notification sets, i.e.…”
Abstract. We propose a novel approach to service choreography through a typed process calculus that features an event notification paradigm for coordinating distributed components (e.g., services). Basically, the type system expresses coordination policies for handling the events spawn in a network so that distributed components react to events when the type of their public interface is "compatible" with (the policies expressed by) the types of signals.Remarkably, the type system can naturally handle multi-party sessions, as shown in the formalisation of the OpenID protocol which requires multi-party sessions for handling user identities.
“…Publish-subscribe systems have received considerable attention in commercial products and standards (e.g., [20,18]), as well as academic research systems (e.g., [4,19]). Most of these efforts have focused on the problem of constructing systems that exhibit desirable run time qualities, such as scalability, efficiency, adaptability, and security, rather than the problem of reasoning about the correctness of such systems, as in this paper.…”
Abstract. While publish-subscribe systems have good engineering properties, they are difficult to reason about and to test. Model checking such systems is an attractive alternative. However, in practice coming up with an appropriate state model for a pub-sub system can be a difficult and error-prone task. In this paper we address this problem by describing a generic pub-sub model checking framework. The key feature of this framework is a reusable, parameterized state machine model that captures pub-sub run-time event management and dispatch policy. Generation of models for specific pub-sub systems is then handled by a translation tool that accepts as input a set of pub-sub component descriptions together with a set of pub-sub properties, and maps them into the framework where they can be checked using off-the-shelf model checking tools.
“…It is functionally similar to a continuous data stream query processor [5,7,12,15,16], a publish/subscribe system [25], or an event processing system [3,13,14,38,44]. However, there are significant differences.…”
Section: Techniques For the Subscription Matchermentioning
Abstract.Intelligence applications have to process massive amounts of data in order to extract relevant information. This includes archived historical data as well as continuously arriving new data. We propose a novel architecture that addresses this problem -the Cornell Knowledge Broker. It will not only support knowledge discovery, but also security, privacy, information exchange, and collaboration.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.