Algebraic reasoning for serialisability in probabilistic transaction systems

概率交易系统中可串行性的代数推理

• 批准号: DP0558212
• 负责人: Prof Annabelle McIver
• 金额: $ 10.1万
• 依托单位: Macquarie University
• 依托单位国家: 澳大利亚
• 项目类别: Discovery Projects
• 财政年份: 2005
• 资助国家: 澳大利亚
• 起止时间: 2005-07-01 至 2009-12-31
• 项目状态: 已结题
• 来源: https://dataportal.arc.gov.au/RGS/Web/Grants/DP0558212
• 关键词: Algebraic; reasoning; serialisability; probabilistic; transaction

The ability to analyse complex systems is a vital part of the development of large-scale computer applications; a method that improves the quality of the analysis task would increase the competitiveness of the software industry, would attract future development work (in complex and intelligent systems) to Australia, and could contribute to national security. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.

分析复杂系统的能力是开发大型计算机应用程序的重要组成部分；提高分析任务质量的方法将增加软件行业的竞争力，将吸引未来的开发工作(复杂和智能系统)到澳大利亚，并可能有助于国家安全。 该项目的结果将对目前可用的设计工具产生直接影响；澳大利亚机构将负责这一不断发展的领域的关键理论成果，这一事实将加强澳大利亚作为国际计算机科学中心的全球地位。