BPJS - An extensible, open infrastructure for behavioral programming research

Michael Bar-Sinai, Gera Weiss, Reut Shmuel

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

10 Scopus citations

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.

Original languageEnglish
Title of host publication21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Subtitle of host publicationCompanion Proceedings, MODELS-Companion 2018
PublisherAssociation for Computing Machinery, Inc
Pages59-61
Number of pages3
ISBN (Electronic)9781450359658
DOIs
StatePublished - 14 Oct 2018
Event21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018 - Copenhagen, Denmark
Duration: 14 Oct 201819 Oct 2018

Publication series

Name21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018

Conference

Conference21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018
Country/TerritoryDenmark
CityCopenhagen
Period14/10/1819/10/18

Keywords

  • Executable models
  • Javascript
  • Scenario based models

ASJC Scopus subject areas

  • Engineering (miscellaneous)
  • Software

Fingerprint

Dive into the research topics of 'BPJS - An extensible, open infrastructure for behavioral programming research'. Together they form a unique fingerprint.

Cite this