On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers

Guy Katz, Assaf Marron, Aviran Sadon +1

Scenario-Based Programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are d…