Event-based systems are developed and used as a coordination model to integrate components in loosely coupled systems. Research and product development focused so far on efficiency issues but neglected methodological support to build such systems. In this paper, we present the modular design and implementation of an event system which supports scopes and event mappings, two new and powerful structuring methods that facilitate engineering and coordination of components in event-based systems. The approach is based on a trace-based specification method adapted from temporal logic.
Ludger Fiege, Gero Mühl, Felix C. Gärtne