On-the-fly construction of composite events in scenario-based modeling using constraint solvers

Guy Katz, Assaf Marron, Aviran Sadon, Gera Weiss

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

Abstract

Scenario-Based Programming is a methodology for modeling and constructing complex reactive systems from simple, stand-alone building blocks, called scenarios. These scenarios are designed to model different traits of the system, and can be interwoven together and executed to produce cohesive system behavior. Existing execution frameworks for scenario-based programs allow scenarios to specify their view of what the system must, may, or must not do only through very strict interfaces. This limits the methodology's expressive power and often prevents users from modeling certain complex requirements. Here, we propose to extend Scenario-Based Programming's execution mechanism to allow scenarios to specify how the system should behave using rich logical constraints. We then leverage modern constraint solvers (such as SAT or SMT solvers) to resolve these constraints at every step of running the system, towards yielding the desired overall system behavior. We provide an implementation of our approach and demonstrate its applicability to various systems that could not be easily modeled in an executable manner by existing Scenario-Based approaches.

Original languageEnglish
Title of host publicationMODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development
EditorsSlimane Hammoudi, Luis Ferreira Pires, Bran Selic
PublisherSciTePress
Pages143-156
Number of pages14
ISBN (Electronic)9789897583582
DOIs
StatePublished - 1 Jan 2019
Event7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019 - Prague, Czech Republic
Duration: 20 Feb 201922 Feb 2019

Publication series

NameMODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development

Conference

Conference7th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2019
Country/TerritoryCzech Republic
CityPrague
Period20/02/1922/02/19

Keywords

  • Behavioral Programming
  • Constraint Solvers
  • SMT Solvers
  • Scenario-Based Programming

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'On-the-fly construction of composite events in scenario-based modeling using constraint solvers'. Together they form a unique fingerprint.

Cite this