【摘 要】
:
该文将"基于概念"的思想与"面向模型的变换性软件开发方法"的理论相结合,建立了一个"基于概念的领域语言开发模型",并为该模型定义了一个元语言——DD语言.在基于概念的开发
论文部分内容阅读
该文将"基于概念"的思想与"面向模型的变换性软件开发方法"的理论相结合,建立了一个"基于概念的领域语言开发模型",并为该模型定义了一个元语言——DD语言.在基于概念的开发模型中,语言的语义用基于规则的语义描述方法来定义,这种方法是属性文法与进化代数的结合,与传统的语义描述方法不同的是,它既是一种形式化的方法,又具有较好的可读性,既适合描述静态语义,又能方便地描述动态语义.由于传统的上下文无关文法、属性文法和进化代数都不支持模块化和参数化,该文分别对它们作了扩充,提出了概念文法、概念化属性文法和概念化进化代数.除了对一些基本问题的扩充研究,如概念化属性文法的良性判断和概念化进化代数的模块调用等,该文还着重讨论了概念化进化代数的扩充语义和精化,以及属性文法与进化代数到状态转换系统的统一理论.重用性、多态性和正交性是DD语言的三个主要特征,这也是该文讨论的重点之一.最后,该文介绍了DD语言的部分实现.
其他文献
该文第一章有限区间上的近邻粒子系统:无穷粒子系统是在上个世界六十年代末发展起来的一个新的概率论分支,F.Spitzer和R.L.Dobrushin的早期工作,开辟了这个新的研究领域.发展
在最优化和最优控制领域中,极大单调包含(maximalmonotoneinclusions)是一类基本问题;而邻点算法(proximalpointalgorithm)是解决这类问题的一种经典方法。从本质上讲,该算法在
该文通过定义和划分一种特殊的团——临界团,对5根进化树问题进行了一些讨论.文中给出了临界团在5根进化树中的6种代表结构,并证明了每个临界团在5根进化树中必定为这6种代表
一个Heegaard分解中的Haken球面之间如何相关的问题是3-流形中有趣的问题.M.Scharlemann和A.J.Thompson描述了S的亏格≥2的Heegaard分解中的Haken球面是如何相关的.雷逢春教
至凯恩斯经济派出现以来,中国经济指标序列的运行规律备受经济学家们的关注。混沌学是当今非线性领域的一个重要分支,经济运转的复杂性和随机性导致经济发展指标出现了丰富的非
分数阶微积分学是在整数阶微积分的基础上延伸与拓展出来的一门学科,是研究任意阶次的微积分算子特性及其应用的理论,同时也伴随着分数微积分方程的发展,因此具有深刻的理论研究
本论文研究了捕食者-食饵系统的定性分析及一类非线性连续分布时滞系统的周期正解,全文包括两个相互独立的部分: 第一部分,用不同的方法分别研究了捕食者无密度制约,食饵具有
该文详细描述了Koskinen提出的两个非内射背包,基于第二种非内射背包:陷门同余背包,提出了一个新的背包型的签名体制.以往的一些基于背包算法的签名体制,随着背包加密算法的
该文讨论了几类一阶脉冲微分方程的边值问题,包括脉冲常微分方程、脉冲时滞微分方程、带有参数的脉冲微分方程和非固定时刻的脉冲微分方程等.全文共分六章.从内容上讲主要分
该文将讨论F型Weyl群的广义胞腔,虽然尚未得到全部的F的广义胞腔,但我们已得到其重要子群B的全部广义胞腔.具体结果见§4.1.关于B的全部广义胞腔的信息无疑对理解F的广义胞腔