Towards Creation Of Logical Framework For Event-Driven Information Systems Darko Anicic
Nenad Stojanovic
[email protected] FZI Forschungszentrum Informatik, Karlsruhe, Germany
Barcelona – July 7, 2008
Introduction Requirements Reactive Framework Example Use Case Conclusion
Overview
This talk is about...
Figure: Elements for Reactivity Handling in IS
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Motivation
Why Semantics?
Control over reactive system: termination; confluence; observable determinism; reasoning about active systems, (conflicting) situations etc.
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Requirements Context It is important to identify the context during which active behavior is relevant. Situation The way people react on events depends on particular situations. Semantics for automated and controlled reactive execution Execution priority (rule ordering), confluence, policies for resolving conflicts and termination etc.
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Requirements Context It is important to identify the context during which active behavior is relevant. Situation The way people react on events depends on particular situations. Semantics for automated and controlled reactive execution Execution priority (rule ordering), confluence, policies for resolving conflicts and termination etc.
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Requirements Context It is important to identify the context during which active behavior is relevant. Situation The way people react on events depends on particular situations. Semantics for automated and controlled reactive execution Execution priority (rule ordering), confluence, policies for resolving conflicts and termination etc.
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Concurrent Transaction Logic A logic for programming state-changing actions, executing them, and reasoning about their effects; Some features: integrates procedural and declarative knowledge; deterministic and non-deterministic transactions; subroutines; serial and parallel composition of processes; recursion, loops, conditionals; communication and synchronisation between concurrent processes.
Connectives: ∧, ∨, ¬, ⊗, |, , ♦; Path-based model theory. Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Reasoning
Reasoning about behavioral aspects of reactive systems Reasoning over events, conditions, contexts, situations, and state-changing actions. Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Event A complex event is a formula of the following form: an atomic event; (event1 ∧ event2 ∧ ... ∧ eventn ), where n ≥ 0 and each eventi is an event (Conjunctive composition); (event1 ∨ event2 ∨ ... ∨ eventn ), where n ≥ 0 and each eventi is an event (Disjunctive composition); (event1 ⊗ event2 ⊗ ... ⊗ eventn ), where n ≥ 0 and each eventi is an event (Sequential composition); ¬event, where event is an event (negation). event, where event is an event (isolation). eventA ← eventB. [T1 , T2 ] with set of terms.
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Condition
Ontology based context model; Reasoning about the context.
Example: cond ← cond1 ∧ (cond2 ∨ cond3 ) ∧ ¬cond4 . cond3 ← cond1 ∧ cond5 .
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
Action An action is a formula of the following form: an atomic action; (action1 ∧ action2 ∧ ... ∧ actionn ), where n ≥ 0 and each actioni is an action (Conjunctive composition); (action1 ∨ action2 ∨ ... ∨ actionn ), where n ≥ 0 and each actioni is an action (Disjunctive composition); (action1 ⊗ action2 ⊗ ... ⊗ actionn ), where n ≥ 0 and each actioni is an action (Sequential composition); (action1 | action2 | ... | actionn ), where n ≥ 0 and each actioni is an action (Concurrent composition); ¬action, where action is an action (negation). action, where action is an action (isolation). actionA ← actionB. Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Requirements Formalism Logic-based Event-trigger Reactivity
ECA Implementation eventStart(X ) ⊗ change(X ) ⊗ eventDone(X )
eventDone(x) ← actR1 (X ) ⊗ actR2 (X ) ⊗ ... ⊗ actRn (X ) ... eventDone(x) ← actRn (X ) ⊗ actRn−1 (X ) ⊗ ... ⊗ actR1 (X )
actRi (X ) ⊗ IF conditioni (X ) DO actioni (X )
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Workflow Management
Workflow Example
Workflow specified as a set of CTR formulas; On an event check the context out and execute specified actions. Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Workflow Management
Ad-Hoc Workflow Example
Synchronization of work, cooperation between concurrent workflows, access to shared resources; Collaboration in ad-hoc workflows: all this, but not in a completely predefined manner. Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Conclusion
We develop a logical framework for event-driven reactivity handling. The framework allows: intelligent event and reactivity handling; reasoning about different properties, context, situations; solving some known issues from the reactive Information Systems.
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
Introduction Requirements Reactive Framework Example Use Case Conclusion
Discussion
Thank you!
Darko Anicic
Towards Creation Of Logical Framework For Event-Driven IS
