文献类型：期刊文章

作　　者：刘建宾[1]

机构地区：[1]北京信息科技大学计算机学院软件工程系,北京100101

出　　处：《计算机工程与设计》

基　　金：北京市教委科技发展计划面上基金项目(KM200710772005);北京市自然科学基金项目(4073033);广东省自然科学基金项目(05008310);北京市属市管高等学校人才强教深化计划基金项目(PHR200907220);北京市属高校学术创新团队基金项目(PHR201007131);中青年骨干教师基金项目

年　　份：2010

卷　　号：31

期　　号：13

起止页码：3017-3021

语　　种：中文

收录情况：AJ、BDHX、BDHX2008、CSA、CSA-PROQEUST、CSCD、CSCD_E2011_2012、IC、INSPEC、JST、RCCSE、ZGKJHX、核心刊

摘　　要：为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。

关 键 词：过程蓝图  多阶段程序表示  统一元模型  抽象语法 良构规则  建模语言

分 类 号：TP311.5]