Coordinating and visualizing independent behaviors in Erlang

Guy Wiener, Gera Weiss, Assaf Marron

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

8 Scopus citations

Abstract

Behavioral programming, introduced by the LSC language and extended by the BPJ Java library, enables development of behaviors as independent modules that are relatively oblivious of each other, yet are integrated at run-time yielding cohesive system behavior. In this paper we present a proof-of-concept for infrastructure and a design pattern that enable development of such behavioral programs in Erlang. Each behavior scenario, called a behavior thread, or b-thread, runs in its own Erlang process. Runs of programs are sequences of events that result from three kinds of b-thread actions: requesting that events be considered for triggering, waiting for triggered events, and blocking events that may be requested by other b-threads. A central mechanism handles these requests, and coordinates b-thread execution, yielding composite, integrated system behavior. We also introduce a visualization tool for Erlang programs written in the proposed design pattern. We believe that enabling the modular incremental development of behavioral programming in Erlang could further simplify the development and maintenance of applications consisting of concurrent independent behaviors.

Original languageEnglish
Title of host publicationErlang'10 - Proceedings of the 2010 ACM SIGPLAN Erlang Workshop, Co-located with ICFP'10
Pages13-21
Number of pages9
DOIs
StatePublished - 13 Dec 2010
Event9th ACM SIGPLAN Erlang Workshop, Erlang 2010, Co-located with ICFP'10 - Baltimore, MD, United States
Duration: 30 Sep 201030 Sep 2010

Publication series

NameProceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Conference

Conference9th ACM SIGPLAN Erlang Workshop, Erlang 2010, Co-located with ICFP'10
Country/TerritoryUnited States
CityBaltimore, MD
Period30/09/1030/09/10

Keywords

  • Behavioral programming
  • Design patterns
  • Live sequence charts

Fingerprint

Dive into the research topics of 'Coordinating and visualizing independent behaviors in Erlang'. Together they form a unique fingerprint.

Cite this