项目名称: 模型驱动的高可靠图算法构件自动生成研究
项目编号: No.61363013
项目类型: 地区科学基金项目
立项/批准年度: 2013
项目学科: 自动化技术、计算机技术
项目作者: 石海鹤
作者单位: 江西师范大学
项目金额: 45万元
中文摘要: 算法的可靠性和开发效率对于软件可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的一种重要途径。图算法广泛应用于生活、生产和科学研究中,其算法设计策略的灵活性使图算法更具复杂性和多样性,算法的开发效率和可靠性难以得到保证。现有工作多将图算法作为某方法和理论的案例研究,甚少涉及算法开发规律的研究,或构建问题求解策略知识库并由用户手工选取,算法生成的自动化程度和效果不理想。本项目受模型驱动软件开发思想启发,以形式化方法PAR为基础,综合运用抽象数据类型、演绎推理、生成式程序设计等相关方法和机制,刻划图问题的抽象代数性质,形式化构建图领域专用语言、抽象图算法框架、算法构件生成等模型,并拓展PAR平台支持模型转换以驱动算法生成的过程,提高图算法构件的开发效率和可靠性,算法演化的灵活性与可配置性也为发现和生成新算法提供有效手段。本研究可望为领域高可靠算法构件的开发提供新思路。
中文关键词: 模型驱动方法;图算法构件;自动生成;形式化抽象模型;PAR方法
英文摘要: The reliability and productivity of algorithms contribute greatly to the trustworthiness and application of software. Algorithm automation has been viewed as an important way to improve the reliability and productivity of algorithms. Graph algorithms are
英文关键词: Model-driven method;Graph algorithm components;Automated generation;Formal abstract model;PAR method