loading
Documents

Research.Publish.Connect.

Paper

Authors: Guy Katz 1 ; Assaf Marron 2 ; Aviran Sadon 3 and Gera Weiss 3

Affiliations: 1 The Hebrew University of Jerusalem, Jerusalem, Israel ; 2 Weizmann Institute of Science, Rehovot, Israel ; 3 Ben-Gurion University of the Negev, Be’er Sheva, Israel

ISBN: 978-989-758-358-2

Keyword(s): Scenario-Based Programming, Behavioral Programming, Constraint Solvers, SMT Solvers.

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. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.232.99.123

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Katz, G.; Marron, A.; Sadon, A. and Weiss, G. (2019). On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers.In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-358-2, pages 143-156. DOI: 10.5220/0007573801430156

@conference{modelsward19,
author={Guy Katz. and Assaf Marron. and Aviran Sadon. and Gera Weiss.},
title={On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2019},
pages={143-156},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007573801430156},
isbn={978-989-758-358-2},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - On-the-Fly Construction of Composite Events in Scenario-Based Modeling using Constraint Solvers
SN - 978-989-758-358-2
AU - Katz, G.
AU - Marron, A.
AU - Sadon, A.
AU - Weiss, G.
PY - 2019
SP - 143
EP - 156
DO - 10.5220/0007573801430156

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.