过程蓝图统一元模型语法
为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义.结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架.
过程蓝图、多阶段程序表示、统一元模型、抽象语法、良构规则、建模语言
31
TP311.5(计算技术、计算机技术)
北京市教委科技发展计划面上基金项目KM200710772005;北京市自然科学基金项目4073033;广东省自然科学基金项目05008310;北京市属市管高等学校人才强教深化计划基金项目PHR200907220;北京市属高校学术创新团队基金项目PHR201007131;中青年骨干教师基金
2010-09-21(万方平台首次上网日期,不代表论文的发表时间)
共5页
3017-3021