Abstract | Event-driven reactive functionalities are urgently needed in present-day distributed systems and dynamic Web-based environments. Reaction rules constitute a promising approach to specify and program such reactive systems in a declarative manner. In particular, they provide the ability to reason over events, actions and their effects, and allow detecting events and responding to them automatically. Various reaction rule approaches have been developed, which for the most part have been advanced separately, hence led to different views and terminologies. This chapter surveys and classifies the wide variety of rule-based calculi approaches, engines and languages for event, action and state processing, and describes their main features. Founded on the original formalisms, major lines of development are traced to the present and extrapolated to the future. |
---|