A modular approach to build structured event-based systems

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2002, Pages 385-392

  Fiege, Ludger ^a   Mühl, Gero ^a   Gärtner, Felix C ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Event based cooperation; Formal specification; Notification services; Publish subscribe

Indexed keywords

ALGORITHMS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; FORMAL LANGUAGES; SEMANTICS; SYSTEMS ANALYSIS;

EVENT BASED SYSTEMS; FORMAL SPECIFICATION; NOTIFICATION SERVICES; TEMPORAL LOGIC;

SOFTWARE ENGINEERING;

EID: 0036040147     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508848.508864     Document Type: Conference Paper

References (18)

1. ActorSpace: An open distributed programming paradigm
2. Matching events in a content-based subscription system
3. A prototype for metadata-based integration of internet sources
4. Design and evaluation of a wide-area event notification service
5. Moving active functionality from centralized to open distributed heterogeneous environments
6. Reasoning about implicit invocation
7. Rebeca event-based electronic commerce architecture
8. A modular approach to building event-based systems
9. Formalizing design spaces: Implicit invocation mechanisms
10. Generative communication in Linda
11. The architecture of the READY event notification service
12. Proving the correctness of multiprocess programs
13. Coordination with scopes
14. The information bus-an architecture for extensible distributed systems
15. On the criteria to be used in decomposing systems into modules