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