Distributed Systems Development with Multitier Reactive Programming
使用多层反应式编程进行分布式系统开发
基本信息
- 批准号:383964710
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:德国
- 项目类别:Research Grants
- 财政年份:2017
- 资助国家:德国
- 起止时间:2016-12-31 至 2021-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Distributed applications are traditionally developed using separate modules for each component in the distributed system, often using different programming languages. These modules react to events such as user input or messages from the network and may in turn produce new events handled by other modules. Separation into tiers is often problematic: combining modules is notoriously hard and requires extensive and time consuming integration tests. Manual implementation of communication is also an issue: developers are forced to program complex event-based communication schemes among hosts - an activity which is often low level and error prone. The combination of the two makes things even worse: distributed event-based data flow is scattered among multiple modules, which makes it hard to reason about the system as a whole. For these reasons, despite most software is today distributed, the design and development of distributed systems remains surprisingly challenging.In this project, we present our roadmap for attacking the complexity of developing distributed applications via specialized programming language support. Our vision is that methods based on a multitier approach can provide a coherent model to reason about data flows otherwise scattered across multiple modules, support multiple software architectures through dedicated language features, and abstract over low level details such as inter-host communication and data conversions. The expected impact is that our solution can significantly reduce the effort of developing and maintaining distributed applications, automat- ically generating error prone code that would be otherwise manually written, enhancing early detection of bugs, and introducing means to easily migrate applications among different platforms and communication mechanisms.
传统上,分布式应用程序是使用分布式系统中每个组件的单独模块开发的,通常使用不同的编程语言。这些模块对诸如用户输入或来自网络的消息之类的事件做出反应,并且可以进而产生由其他模块处理的新事件。分层通常是有问题的:组合模块是出了名的困难,需要大量耗时的集成测试。通信的手动实现也是一个问题:开发人员被迫在主机之间编程复杂的基于事件的通信方案-这通常是一种低级别且容易出错的活动。两者的结合使事情变得更糟:分布式的基于事件的数据流分散在多个模块中,这使得很难从整体上对系统进行推理。由于这些原因,尽管大多数软件是分布式的,分布式系统的设计和开发仍然令人惊讶的挑战。在这个项目中,我们提出了我们的路线图,通过专门的编程语言支持攻击开发分布式应用程序的复杂性。我们的愿景是,基于多层方法的方法可以提供一个连贯的模型来推理分散在多个模块中的数据流,通过专用语言功能支持多个软件架构,并抽象出低级别的细节,如主机间通信和数据转换。预期的影响是,我们的解决方案可以显着减少开发和维护分布式应用程序的工作,自动生成容易出错的代码,否则将手动编写,增强早期检测的错误,并引入方法,轻松地迁移应用程序在不同的平台和通信机制。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Professor Dr.-Ing. Guido Salvaneschi其他文献
Professor Dr.-Ing. Guido Salvaneschi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Professor Dr.-Ing. Guido Salvaneschi', 18)}}的其他基金
ReDOOP: Reactive Design for Object Oriented Programming
ReDOOP:面向对象编程的反应式设计
- 批准号:
322196540 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Research Grants
相似国自然基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
- 批准号:
- 批准年份:2025
- 资助金额:0.0 万元
- 项目类别:省市级项目
基于“阳化气、阴成形”理论探讨龟鹿二仙胶调控 HIF-1α/Systems Xc-通路抑制铁死亡治疗少弱精子症的作用机理
- 批准号:
- 批准年份:2024
- 资助金额:15.0 万元
- 项目类别:省市级项目
EstimatingLarge Demand Systems with MachineLearning Techniques
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国学者研究基金
Understanding complicated gravitational physics by simple two-shell systems
- 批准号:12005059
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
Simulation and certification of the ground state of many-body systems on quantum simulators
- 批准号:
- 批准年份:2020
- 资助金额:40 万元
- 项目类别:
全基因组系统作图(systems mapping)研究三种细菌种间互作遗传机制
- 批准号:31971398
- 批准年份:2019
- 资助金额:58.0 万元
- 项目类别:面上项目
The formation and evolution of planetary systems in dense star clusters
- 批准号:11043007
- 批准年份:2010
- 资助金额:10.0 万元
- 项目类别:专项基金项目
相似海外基金
Development of model checking technology for dependable distributed systems
可靠分布式系统模型检测技术的开发
- 批准号:
23H03370 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (B)
Development of Geographically-Distributed Byzantine Fault-Tolerant Systems
地理分布式拜占庭容错系统的开发
- 批准号:
22K11971 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of Autonomous Distributed intelligent MEMS/NEMS sensory platform for monitoring of critical systems
开发用于监控关键系统的自主分布式智能MEMS/NEMS传感平台
- 批准号:
RGPIN-2020-06300 - 财政年份:2021
- 资助金额:
-- - 项目类别:
Discovery Grants Program - Individual
Reliable by Construction Distributed Systems: a Toolchain for Development and Testing
构建可靠的分布式系统:用于开发和测试的工具链
- 批准号:
2619407 - 财政年份:2021
- 资助金额:
-- - 项目类别:
Studentship
Development of Autonomous Distributed intelligent MEMS/NEMS sensory platform for monitoring of critical systems
开发用于监控关键系统的自主分布式智能MEMS/NEMS传感平台
- 批准号:
RGPIN-2020-06300 - 财政年份:2020
- 资助金额:
-- - 项目类别:
Discovery Grants Program - Individual
Development and Application of an Optimization Method of Distributed Energy Systems in Consideration of Hierarchical Relationship Between Design and Operation
考虑设计与运行层级关系的分布式能源系统优化方法的开发与应用
- 批准号:
18K05017 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Scientific Research (C)
National Network Development Workshop: Distributed Wastewater Treatment & Sustainable One Water Systems (DWT-SOS)
国家网络发展研讨会:分布式污水处理
- 批准号:
516539-2017 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Connect Grants Level 3
Development of a simulation-based tool suite for modeling QoS/QoE versus cost trade-offs for cloud-deployed distributed software systems and services
开发基于仿真的工具套件,用于对云部署的分布式软件系统和服务的 QoS/QoE 与成本权衡进行建模
- 批准号:
463553-2014 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Collaborative Research and Development Grants
A Development of Distributed Constraint Optimization Algorithms for Product Service Systems
产品服务系统分布式约束优化算法的开发
- 批准号:
15K16056 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Young Scientists (B)
Multi-Agent Solutions for the Development of Self-Organised and Self-Adapted Distributed Energy Generation Systems
用于开发自组织和自适应分布式能源发电系统的多智能体解决方案
- 批准号:
DP140100974 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Discovery Projects