On-the-FlyConstruction 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

2 Scopus citations

Abstract

Scenario Based Programming is a methodology form odeling 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 the seconstraint satevery step of running the system to wards 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 languageAmerican English
Title of host publicationMODELSWARD 2019 - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development
EditorsBran Selić
PublisherScience and Technology Publications, Lda
Pages141-154
Number of pages14
ISBN (Print)9789897583582
DOIs
StatePublished - 2019
Event7th International Conference on Model-Driven Engineering and Software Development , MODELSWARD 2019 - Prague, Czech Republic
Duration: 20 Feb 201922 Feb 2019

Publication series

NameInternational Conference on Model-Driven Engineering and Software Development
ISSN (Electronic)2184-4348

Conference

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

Bibliographical note

Publisher Copyright:
© 2019 by SCITEPRESS - Science and Technology Publications, Lda. All rights reserved.

Keywords

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

Fingerprint

Dive into the research topics of 'On-the-FlyConstruction of Composite Events in Scenario-Based Modeling using Constraint Solvers'. Together they form a unique fingerprint.

Cite this