BPJS - An extensible, open infrastructure for behavioral programming research

Michael Bar-Sinai; Gera Weiss; Reut Shmuel

doi:https://doi.org/10.1145/3270112.3270126

BPJS - An extensible, open infrastructure for behavioral programming research

Michael Bar-Sinai, Gera Weiss, Reut Shmuel

Department of Computer Science

Ben-Gurion University of the Negev

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	American English
Title of host publication	21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
Subtitle of host publication	Companion Proceedings, MODELS-Companion 2018
Pages	59-61
Number of pages	3
ISBN (Electronic)	9781450359658
DOIs	https://doi.org/10.1145/3270112.3270126
State	Published - 14 Oct 2018
Event	21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018 - Copenhagen, Denmark Duration: 14 Oct 2018 → 19 Oct 2018

Publication series

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

Conference

Conference	21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018
Country/Territory	Denmark
City	Copenhagen
Period	14/10/18 → 19/10/18

Keywords

Executable models
Javascript
Scenario based models

All Science Journal Classification (ASJC) codes

Engineering (miscellaneous)
Software

Access to Document

https://doi.org/10.1145/3270112.3270126

Cite this

Bar-Sinai, M., Weiss, G., & Shmuel, R. (2018). BPJS - An extensible, open infrastructure for behavioral programming research. In 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018 (pp. 59-61). (21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018). https://doi.org/10.1145/3270112.3270126

Bar-Sinai, Michael ; Weiss, Gera ; Shmuel, Reut. / BPJS - An extensible, open infrastructure for behavioral programming research. 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. 2018. pp. 59-61 (21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018).

@inproceedings{a42c13729d2447b8bdaff6311371ac61,

title = "BPJS - An extensible, open infrastructure for behavioral programming research",

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.",

keywords = "Executable models, Javascript, Scenario based models",

author = "Michael Bar-Sinai and Gera Weiss and Reut Shmuel",

note = "Publisher Copyright: {\textcopyright} 2018 Copyright held by the owner/author(s).; 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018 ; Conference date: 14-10-2018 Through 19-10-2018",

year = "2018",

month = oct,

day = "14",

doi = "https://doi.org/10.1145/3270112.3270126",

language = "American English",

series = "21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018",

pages = "59--61",

booktitle = "21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems",

}

Bar-Sinai, M, Weiss, G & Shmuel, R 2018, BPJS - An extensible, open infrastructure for behavioral programming research. in 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018, pp. 59-61, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018, Copenhagen, Denmark, 14/10/18. https://doi.org/10.1145/3270112.3270126

BPJS - An extensible, open infrastructure for behavioral programming research. / Bar-Sinai, Michael; Weiss, Gera; Shmuel, Reut.
21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. 2018. p. 59-61 (21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - BPJS - An extensible, open infrastructure for behavioral programming research

AU - Bar-Sinai, Michael

AU - Weiss, Gera

AU - Shmuel, Reut

PY - 2018/10/14

Y1 - 2018/10/14

N2 - 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.

AB - 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.

KW - Executable models

KW - Javascript

KW - Scenario based models

UR - http://www.scopus.com/inward/record.url?scp=85056855884&partnerID=8YFLogxK

U2 - https://doi.org/10.1145/3270112.3270126

DO - https://doi.org/10.1145/3270112.3270126

M3 - Conference contribution

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

SP - 59

EP - 61

BT - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

T2 - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018

Y2 - 14 October 2018 through 19 October 2018

ER -

Bar-Sinai M, Weiss G, Shmuel R. BPJS - An extensible, open infrastructure for behavioral programming research. In 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. 2018. p. 59-61. (21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018). doi: https://doi.org/10.1145/3270112.3270126

BPJS - An extensible, open infrastructure for behavioral programming research

Abstract

Publication series

Conference

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this