Chrome Extension
WeChat Mini Program
Use on ChatGLM
VIPCreated with Sketch.

Bpjs - An Extensible, Open Infrastructure For Behavioral Programming Research

Michael Bar-Sinai,Gera Weiss,Reut Shmuel

21ST ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS: COMPANION PROCEEDINGS (MODELS-COMPANION '18)（2018）

Cited 14|Views13
No score
Abstract
We present unified and extensible semantics for Behavioral Programming (BP). The presented semantics support a direct embedding of executable models in regular software systems. We further present BPjs - a tool-set for executing, embedding, and verifying behavioral models, based on the proposed semantics. Being extensible, embeddable, and supporting verification, BPjs can serve as a common infrastructure for BP and executable modeling research.
More
Translated text
Key words
Javascript, Scenario Based Models, Executable Models
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined