Deriving correct distributed system designs from global requirements

从全局需求中得出正确的分布式系统设计

• 批准号: RGPIN-2016-03717
• 负责人: Bochmann, Gregor
• 金额: $ 2.26万
• 依托单位: University of Ottawa
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2017
• 资助国家: 加拿大
• 起止时间: 2017-01-01 至 2018-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=634447
• 关键词: Deriving; correct; distributed; system; designs

The general theme of the proposal is the development of distributed system designs that are correct by construction for applications in the current and future e-society and for cyber-physical systems. Most applications involve communication: between humans (telephony and teleconferencing), between humans and computers (typical Web applications, e-shopping, video on demand, and broadcasting), or between several computers (distributed automated business processes, production control or semi-automatic cars sharing the road). These applications are realized using distributed databases, computers, smart phones, and many other devices; and they require complex software for controlling the interactions between these different components.

该提案的总体主题是分布式系统设计的发展，这些设计在当前和未来的电子社会以及网络物理系统的应用中是正确的。大多数应用程序涉及通信：人与人之间的通信（电话和远程会议），人与计算机之间的通信（典型的Web应用程序、电子购物、视频点播和广播），或几台计算机之间的通信（分布式自动化业务流程、生产控制或共享道路的半自动汽车）。这些应用程序是通过分布式数据库、计算机、智能手机和许多其他设备实现的；它们需要复杂的软件来控制这些不同组件之间的交互。