Abstract
This thesis focuses on the modeling of performance non-determinism in Siddhi, a complex event processing system. The main objective is to assess the sufficiency of the modeling methodology proposed by Kristansen et al.[24] in capturing performance non-determinism. The research methodology employed involves an investigation into the performance non-determinism induced by cache memories. The key findings of the study reveal that the time component of cache memories significantly contributes to performance non-determinism in event processing within Siddhi. This non-determinism can impact the overall efficiency and reliability of the system. However, the proposed modeling methodology does not adequately consider the time dimension, highlighting a limitation in its applicability to model performance non-determinism accurately. Based on these findings, the conclusions drawn from this research suggest that the existing modeling methodology needs to be extended to incorporate the time dimension.