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 应用程序、电子购物、视频点播和广播）或多台计算机之间（分布式自动化业务流程、生产控制或半自动）共享道路的汽车）。这些应用程序是使用分布式数据库、计算机、智能手机和许多其他设备来实现的；它们需要复杂的软件来控制这些不同组件之间的交互。