A DSL for compensable and interruptible executions
A DSL for compensable and interruptible executions
复制标题
用于可补偿和可中断执行的 DSL
DOI：
10.1145/3141858.3141860
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Igarashi Atsushi
中科院分区：
文献类型：
--
作者：
Inoue Hiroaki;Aotani Tomoyuki;Igarashi Atsushi
上下文感知在软件应用程序中变得越来越重要。此类应用程序的运行取决于周围环境随时间变化的状态，例如网络连接、电池/能量充电和热量。中断或异步异常对于实现上下文感知非常有用：如果环境发生变化，应用程序的执行会被响应性地中断，以停止和/或恢复内部状态以适应新环境。然而，在大多数编程语言中，模块化中断编程是很困难的，因为它们的支持太基础，并且基于同步异常处理机制，例如try-catch。我们提出了一种用于模块化可中断程序的特定领域语言上下文工作流作为该问题的解决方案。可中断程序基本上是一个工作流程，即一系列带有补偿的原子计算。 ContextWorkflow 的独特之处在于，在执行过程中，工作流会监视上下文（在函数反应式编程中表示为反应值），并指示执行如何反映周围环境的状态。
Context-awareness is getting more and 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 context-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 languageContextWorkflowfor 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.
DOI：
10.1145/2429069.2429100
发表时间：
2013-01
期刊：
--
影响因子：
--
作者：
Ganesan Ramalingam;K. Vaswani
通讯作者：
Ganesan Ramalingam;K. Vaswani
可持续软件的编程模型
DOI：
--
发表时间：
2015
期刊：
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
影响因子：
--
作者：
H. Zhu;Chaoren Lin;Yu David Liu
通讯作者：
Yu David Liu
面向上下文的编程：超越层
DOI：
10.1145/1352678.1352688
发表时间：
2007
期刊：
Companion Proceedings of the 15th International Conference on Modularity
影响因子：
--
作者：
M. V. Löwis;M. Denker;Oscar Nierstrasz
通讯作者：
Oscar Nierstrasz