Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Mon 23 Oct 2017 11:00 - 11:30 at Oxford - Second session

Context-awareness is getting more important in software applications. Such an application runs depending on the time-varying status of the surrounding environment such as network connection, battery/energy charge and heat. Interruptions, or asynchronous exceptions, are useful to achieve con-text-awareness: if the environment changes, the execution of the application is interrupted reactively to stop and/or recover the internal state for adapting to the new environment. It is, however, difficult to program with interruptions modularly in most programming languages because their support is too basic and is based on synchronous exception handling mechanism such as try–catch.

We propose a domain-specific language ContextWorkflow for modular interruptible programs as a solution to the problem. An interruptible program is basically a workflow, i.e., a sequence of atomic computations with compensations. The uniqueness of ContextWorkflow is that, during its execution, a workflow watches the context, which is represented as a reactive value in functional reactive programming and instructs how the execution reflects the status of the surrounding environment.

Mon 23 Oct

rebls-2017
10:30 - 12:00: REBELS - Second session at Oxford
rebls-2017150874740000010:30 - 11:00
Talk
Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
rebls-2017150874920000011:00 - 11:30
Talk
Hiroaki InoueGraduate School of Informatics, Kyoto University, Tomoyuki AotaniTokyo Institute of Technology, Atsushi IgarashiKyoto University, Japan
rebls-2017150875100000011:30 - 12:00
Talk
Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Pre-print