过程蓝图统一元模型语法

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:diahou
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。
其他文献
目的化学镀铜是氧化铝陶瓷基板金属化的一种重要手段,为了进一步优化氧化铝陶瓷基板化学镀铜工艺,研究了化学镀铜液配比(尤其是镀液中铜离子和甲醛含量)对氧化铝陶瓷覆铜板微
图划分问题是一个NP完全问题,很难在多项式时间内获得一个最优解。为快速获得一个图划分的近似最优解,研究了信息论中的相关知识,设计了一个基于信息论的求解图K划分的近似算法
驾驭情绪是领导者必备的本领郭小聪情绪作为人在特定情境下的心理体验,是使人产生某种行为的活力性因素,因而也是对人的领导的一个关键因素.应当说,善于驾驭组织成员和整个组织的
保持距离:与部属交往的秘诀王存桂怎样与部属交往,是每个领导者都应思考的问题。笔者认为保持距离是领导与部属交往的有效方法。这里所说的“保持距离”,并非讲不要联系群众、密
坚持从严治“吏”促进经济发展王水成1994年3月,闻喜县新的县委、县政府班子调整到位以后,锐意进取,奋力拼搏,全县经济呈现出快速发展势头。出现这样喜人的发展形势的主要原因是我们县
高速公路服务区的主要作用在于为高速公路车辆、驾驶人员及旅客提供一系列服务,如为驾驶人员及旅客提供饮食、购物以及休息服务,为车辆提供加油、维修以及清洁等服务,其作为
<正>~~
期刊
随着科学技术的日益更新和完善,化工项目作为市场建设中的重要组成部分得到了广泛运用。安全设计环节是减少化工事故发生的重要举措,但是,从当前的发展趋势来看化工事故发生
以聚氧四亚甲基二醇、异佛尔酮二异氰酸酯、 1,4 丁二醇和不同的催化剂合成了透明聚氨酯弹性体 ,研究了合成方法、催化剂种类、异氰酸酯指数R、固化时间以及固化温度对该弹性
为有效解决.NET应用中对MFC遗留应用系统的快速集成问题,并尽量重用已有系统,研究了.NET环境下MFC应用系统的包装集成技术,提出了用混合DLL方式来对MFC应用进行大粒度封装的