A DSL for Compensable and Interruptible Executions
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 Times are displayed in time zone: Tijuana, Baja California change
|10:30 - 11:00|
|Handling Partial Failures in Distributed Reactive Programming|
Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit BrusselLink to publication
|11:00 - 11:30|
|A DSL for Compensable and Interruptible Executions|
|11:30 - 12:00|
|First-class Reactive Programs for CPS|
Christophe De Troyer, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit BrusselPre-print