Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems最新文献

A DSL for compensable and interruptible executions 用于可补偿和可中断执行的DSL

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2017-10-23 DOI: 10.1145/3141858.3141860

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

{"title":"A DSL for compensable and interruptible executions","authors":"Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi","doi":"10.1145/3141858.3141860","DOIUrl":"https://doi.org/10.1145/3141858.3141860","url":null,"abstract":"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 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.","PeriodicalId":372925,"journal":{"name":"Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129715815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 3

First-class reactive programs for CPS 一流的CPS反应程序

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2017-10-23 DOI: 10.1145/3141858.3141862

C. Troyer, Jens Nicolay, W. Meuter

{"title":"First-class reactive programs for CPS","authors":"C. Troyer, Jens Nicolay, W. Meuter","doi":"10.1145/3141858.3141862","DOIUrl":"https://doi.org/10.1145/3141858.3141862","url":null,"abstract":"Cyber-Physical Systems (CPS) are comprised of a network of devices that vary widely in complexity, ranging from simple sensors to autonomous robots. Traditionally, controlling and sensing these devices happens through API communication, in either push or pull-based fashion. We argue that the computational power of these devices is converging to the point where they can do autonomous computations. This allows application programmers to run programs locally on the sensors, thereby reducing the communication and workload of more central command and control entities. This work introduces the Potato framework that aims to make programming CPS systems intuitively easy and fast. Potato is based on three essential mechanisms: failure handling by means of leasing, distribution by means of first-class reactive programs, and intentional retroactive designation of the network by means of capabilities and dynamic properties. In this paper we focus on the reactive capabilities of our framework. Potato enables programmers to create and deploy first-class reactive programs on CPS devices at run time, abstracting away from the API approach. Each node in the network is equipped with a minimal actor-based middleware that can execute first-class reactive programs. We have implemented Potato as a library in Elixir and have used it to implement several small examples.","PeriodicalId":372925,"journal":{"name":"Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133489253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Handling partial failures in distributed reactive programming 处理分布式响应式编程中的部分故障

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2017-10-23 DOI: 10.1145/3141858.3141859

Florian Myter, Christophe Scholliers, W. Meuter

引用次数: 6

Tackling the awkward squad for reactive programming: the actor-reactor model 解决反应性编程的棘手问题:actor-reactor模型

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2017-10-23 DOI: 10.1145/3141858.3141863

Sam Van den Vonder, Joeri De Koster, Florian Myter, W. Meuter

引用次数: 15

FRP IoT modules as a Scala DSL 作为Scala DSL的FRP IoT模块

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 2017-10-23 DOI: 10.1145/3141858.3141861

B. Calus, Bob Reynders, Dominique Devriese, Job Noorman, F. Piessens

{"title":"FRP IoT modules as a Scala DSL","authors":"B. Calus, Bob Reynders, Dominique Devriese, Job Noorman, F. Piessens","doi":"10.1145/3141858.3141861","DOIUrl":"https://doi.org/10.1145/3141858.3141861","url":null,"abstract":"With Internet of Things applications growing in size and popularity, physical sensor networks are more often running multiple complex applications. It becomes increasingly important to maintain these event-driven programs on embedded systems. Traditionally, event-driven applications such as sensor network applications are written using an imperative style of programming where different callback routines are registered to handle events. As the application complexity grows, the inverted control flow and reliance on shared global state makes this style of programming hard to maintain. Furthermore, sensor network applications are inherently distributed and are written by manually managing code-bases of sub-applications that go on all nodes separately. If security is important, the programmer needs to manually interface with low-level security primitives because there is no built-in notion of components. We propose a more maintainable approach where the developer essentially writes a first-order FRP program, containing code fragments in an embedded subset of C. From this FRP program, we generate efficient C code to be run on every node. Every module of the FRP program is compiled to a separate C module, making it easy to deploy modules to different nodes, and to enhance the security of the application by isolating modules from other software running on the nodes. Our implementation is based on a Scala EDSL that we use to let the user conveniently embed fragments of C code. The annotated C code gets compiled to Sancus, a security architecture for IoT nodes that supports the secure and distributed execution of the generated modules.","PeriodicalId":372925,"journal":{"name":"Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-10-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128468075","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 10

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems 第四届ACM SIGPLAN响应式和基于事件的语言和系统国际研讨会论文集

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems Pub Date : 1900-01-01 DOI: 10.1145/3141858

引用次数: 0