嵌入式图编程平台中公共化构件的构造方法研究

项目名称： 嵌入式图编程平台中公共化构件的构造方法研究

项目编号： No.61272189

项目类型： 面上项目

立项/批准年度： 2013

项目学科： 自动化技术、计算机技术

项目作者： 严义

作者单位： 杭州电子科技大学

项目金额： 74万元

中文摘要： 本项目以构件技术在嵌入式图编程方法中的应用为背景，以归纳构件共性化问题为切入点，构造可公共化的微小构件为元构件，探索不同的图编程平台共用同一软件自动生成系统的方法。研究拟通过1、研究适合元构件及领域构件描述需要的手段和构造方法；2、建立基于元构件的领域构件组装规则，解决构件可组装性验证和正确性证明；3、寻找一种基于领域构件的非规范描述向以元构件为基础的规范描述的转换方法，重点解决转换过程中的构件拆解，论证拆解前后的语义一致性。该研究的结果将为跨领域的嵌入式图编程平台的构件归一化生成模式提供依据，有助于促进各领域软件自动生成中图编程平台的应用，进而提高嵌入式软件的可靠性和开发效率。

中文关键词： 图编程；生成系统共享；构件组装；构件拆解；

英文摘要： This project is based on the component technology applied in graphical programming, taking the common features of components in embedded graphical programming platforms as the entry point to construct the public micro-components as meta-components, and explore the approach that different graphical programming platforms could share the same auto-generation system. The research work is going to include: 1、Searching the means and the constructing methods that appropriate for the description of the meta-components and domain components; 2、Establishing the domain components assembly rules based on meta-components, and solving the verification of the assembling, as well as supplying the proof of the correctness; 3、Looking for a conversion method from the non-standard description file to the standard description file, the former is based on the domain component, where as the latter is based on the meta-component, it should focus on not only the component disassembling problems in the conversion process, but also the demonstration of the semantics consistency before and after the disassembling. The results of this study could serve as the foundation for the normalized generation mode of heterogeneous embedded graphical programming platforms based on components, which will promoting the appliance of the graphical progra

英文关键词： Diagram programming；shared generation；component assembling；component disassembling；