Scaling-up behavioral programming: Steps from basic principles to application architectures

David Harel; Guy Katz

doi:10.1145/2687357.2687359

Scaling-up behavioral programming: Steps from basic principles to application architectures

David Harel
, Guy Katz

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

24 Scopus citations

Abstract

Behavioral programming (BP) is a decentralized scenario-based paradigm for the programming of reactive software, geared towards incremental and intuitive development. In this work we apply the principles of BP to a large, real-world case-study: a web-server. We discuss the conclusions learned from our attempt and propose several extension idioms to BP, aimed at improving the framework's scalability. Specifically, we propose extending BP with a timeout idiom for handling various time constraints, program-specific execution strategies, dynamic thread creation for efficiently allocating system resources, and support for parameterized events to handle inputs with infinite domains. Our extensions and case-study are implemented in a new framework for behavioral programming in C++.

Original language	English
Title of host publication	AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014
Publisher	Association for Computing Machinery
Pages	95-108
Number of pages	14
ISBN (Electronic)	9781450321891
DOIs	https://doi.org/10.1145/2687357.2687359
State	Published - 20 Oct 2014
Externally published	Yes
Event	4th International SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014 - Portland, United States Duration: 20 Oct 2014 → …

Publication series

Name	AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014

Conference

Conference	4th International SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014
Country/Territory	United States
City	Portland
Period	20/10/14 → …

Bibliographical note

Publisher Copyright:
Copyright © 2014 ACM.

Keywords

Behavioral programming
C++
HTTP
Reactive systems
TCP
Time constraints

Access to Document

10.1145/2687357.2687359

Cite this

Harel, D., & Katz, G. (2014). Scaling-up behavioral programming: Steps from basic principles to application architectures. In AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014 (pp. 95-108). (AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014). Association for Computing Machinery. https://doi.org/10.1145/2687357.2687359

Harel, David ; Katz, Guy. / Scaling-up behavioral programming : Steps from basic principles to application architectures. AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014. Association for Computing Machinery, 2014. pp. 95-108 (AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014).

@inproceedings{f3847e3a6a2a497caef2a00f4eecd991,

title = "Scaling-up behavioral programming: Steps from basic principles to application architectures",

abstract = "Behavioral programming (BP) is a decentralized scenario-based paradigm for the programming of reactive software, geared towards incremental and intuitive development. In this work we apply the principles of BP to a large, real-world case-study: a web-server. We discuss the conclusions learned from our attempt and propose several extension idioms to BP, aimed at improving the framework's scalability. Specifically, we propose extending BP with a timeout idiom for handling various time constraints, program-specific execution strategies, dynamic thread creation for efficiently allocating system resources, and support for parameterized events to handle inputs with infinite domains. Our extensions and case-study are implemented in a new framework for behavioral programming in C++.",

keywords = "Behavioral programming, C++, HTTP, Reactive systems, TCP, Time constraints",

author = "David Harel and Guy Katz",

note = "Publisher Copyright: Copyright {\textcopyright} 2014 ACM.; 4th International SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014 ; Conference date: 20-10-2014",

year = "2014",

month = oct,

day = "20",

doi = "10.1145/2687357.2687359",

language = "אנגלית",

series = "AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014",

publisher = "Association for Computing Machinery",

pages = "95--108",

booktitle = "AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014",

}

Harel, D & Katz, G 2014, Scaling-up behavioral programming: Steps from basic principles to application architectures. in AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014. AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014, Association for Computing Machinery, pp. 95-108, 4th International SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014, Portland, United States, 20/10/14. https://doi.org/10.1145/2687357.2687359

Scaling-up behavioral programming: Steps from basic principles to application architectures. / Harel, David; Katz, Guy.
AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014. Association for Computing Machinery, 2014. p. 95-108 (AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014).

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

TY - GEN

T1 - Scaling-up behavioral programming

T2 - 4th International SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014

AU - Harel, David

AU - Katz, Guy

PY - 2014/10/20

Y1 - 2014/10/20

N2 - Behavioral programming (BP) is a decentralized scenario-based paradigm for the programming of reactive software, geared towards incremental and intuitive development. In this work we apply the principles of BP to a large, real-world case-study: a web-server. We discuss the conclusions learned from our attempt and propose several extension idioms to BP, aimed at improving the framework's scalability. Specifically, we propose extending BP with a timeout idiom for handling various time constraints, program-specific execution strategies, dynamic thread creation for efficiently allocating system resources, and support for parameterized events to handle inputs with infinite domains. Our extensions and case-study are implemented in a new framework for behavioral programming in C++.

AB - Behavioral programming (BP) is a decentralized scenario-based paradigm for the programming of reactive software, geared towards incremental and intuitive development. In this work we apply the principles of BP to a large, real-world case-study: a web-server. We discuss the conclusions learned from our attempt and propose several extension idioms to BP, aimed at improving the framework's scalability. Specifically, we propose extending BP with a timeout idiom for handling various time constraints, program-specific execution strategies, dynamic thread creation for efficiently allocating system resources, and support for parameterized events to handle inputs with infinite domains. Our extensions and case-study are implemented in a new framework for behavioral programming in C++.

KW - Behavioral programming

KW - C++

KW - HTTP

KW - Reactive systems

KW - TCP

KW - Time constraints

UR - https://www.scopus.com/pages/publications/84930980628

U2 - 10.1145/2687357.2687359

DO - 10.1145/2687357.2687359

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84930980628

T3 - AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014

SP - 95

EP - 108

BT - AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014

PB - Association for Computing Machinery

Y2 - 20 October 2014

ER -

Harel D, Katz G. Scaling-up behavioral programming: Steps from basic principles to application architectures. In AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014. Association for Computing Machinery. 2014. p. 95-108. (AGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014). doi: 10.1145/2687357.2687359

Scaling-up behavioral programming: Steps from basic principles to application architectures

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this