גרא וייס

אקדמי בכיר

Coordinating and visualizing independent behaviors in Erlang

Guy Wiener, Gera Weiss, Assaf Marron

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.

שפת פרסום אנגלית
דפים 13-21
סטטוס פרסום פורסם - 30.09.2010

Keywords

Behavioral programming
Design patterns
Live sequence charts

ASJC Scopus subject areas

Software
גישה למסמך
10.1145/1863509.1863512
קבצים וקישורים אחרים
Link to publication in Scopus