Modeling And Execution Of Event Stream Processing