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

David Harel, Guy Katz

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

22 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 languageEnglish
Title of host publicationAGERE! 2014 - Proceedings of the 2014 ACM SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, Part of SPLASH 2014
PublisherAssociation for Computing Machinery
Pages95-108
Number of pages14
ISBN (Electronic)9781450321891
DOIs
StatePublished - 20 Oct 2014
Externally publishedYes
Event4th International SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014 - Portland, United States
Duration: 20 Oct 2014 → …

Publication series

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

Conference

Conference4th International SIGPLAN Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2014
Country/TerritoryUnited States
CityPortland
Period20/10/14 → …

Bibliographical note

Publisher Copyright:
Copyright © 2014 ACM.

Keywords

  • Behavioral programming
  • C++
  • HTTP
  • Reactive systems
  • TCP
  • Time constraints

Fingerprint

Dive into the research topics of 'Scaling-up behavioral programming: Steps from basic principles to application architectures'. Together they form a unique fingerprint.

Cite this