ReDOOP: Reactive Design for Object Oriented Programming

ReDOOP：面向对象编程的反应式设计

• 批准号: 322196540
• 负责人: Professor Dr.-Ing. Guido Salvaneschi
• 金额: --
• 依托单位: Lehrstuhl für Data Science
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2016
• 资助国家: 德国
• 起止时间: 2015-12-31 至 2019-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/322196540?language=en
• 关键词: ReDOOP; Reactive; Design; Object; Oriented

Reactive applications are difficult to implement. Traditional solutions, based on event systems and the Observer design pattern, are known to be cumbersome but programmers bear them in return for the benefits of OO design. On the other hand, reactive languages based on automatic updates of dependencies - like functional reactive programming and dataflow languages - provide undoubted advantages but do not fit well with the OO model and mutable state. This project aims to support reactive applications in the OO setting. Our goal is to develop a new programming model that encompasses language abstractions for reactive programming and OO features available in mainstream languages, such as inheritance, late binding, encapsulation, imperative state updates, language-level support for event filtering and event correlation. After showing the flaws of the existing solutions, we highlight the potential of reactive languages and formulate our research plan.

被动式应用程序很难实现。众所周知，基于事件系统和观察者设计模式的传统解决方案很麻烦，但程序员可以忍受它们，以换取面向对象设计的好处。另一方面，基于依赖关系自动更新的反应式语言--如函数式反应式编程和数据流语言--提供了毋庸置疑的优势，但不能很好地适应面向对象模型和可变状态。该项目旨在支持面向对象环境中的反应式应用程序。我们的目标是开发一种新的编程模型，该模型包含对反应式编程的语言抽象和主流语言中可用的OO功能，如继承、后期绑定、封装、命令式状态更新、对事件过滤和事件关联的语言级支持。在指出现有解决方案的缺陷之后，我们强调了反应式语言的潜力，并制定了我们的研究计划。

项目成果

Versatile event correlation with algebraic effects

具有代数效应的多功能事件相关性

• DOI: 10.1145/3236762
• 发表时间: 2018
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Oliver Bračevac;Nada Amin;Guido Salvaneschi;Sebastian Erdweg;Patrick Eugster;Mira Mezini
• 通讯作者: Mira Mezini

Rethinking safe consistency in distributed object-oriented programming

• DOI: 10.1145/3428256
• 发表时间: 2020-11
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: M. Köhler;Nafise Eskandani;P. Weisenburger;Alessandro Margara;G. Salvaneschi

Thread-safe reactive programming

线程安全的反应式编程

• DOI: 10.1145/3276477
• 发表时间: 2018
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: Joscha Drechsler;Ragnar Mogk;Guido Salvaneschi;Mira Mezini
• 通讯作者: Mira Mezini

Language-integrated privacy-aware distributed queries

• DOI: 10.1145/3360593
• 发表时间: 2019-10
• 期刊: Proceedings of the ACM on Programming Languages
• 作者: G. Salvaneschi;M. Köhler;Daniel Sokolowski;Philipp Haller;Sebastian Erdweg;M. Mezini

Automated Refactoring to Reactive Programming

自动重构为反应式编程

• DOI: 10.1109/ase.2019.00082
• 发表时间: 2019
• 期刊: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
• 作者: Mirko Köhler;Guido Salvaneschi
• 通讯作者: Guido Salvaneschi