Opher Etzion

Correctness and Consistency of Event-Based Systems

2019

Event-based systems encounter challenges of correctness and consistency. Correctness means that the execution results match the intention of the designer. Consistency means that different data elements that co-exist within a certain system creates an internal …