位置：立项数据库 > 立项详情页
面向语言的领域语言开发方法
  • 项目名称：面向语言的领域语言开发方法
  • 项目类别：面上项目
  • 批准号：60273001
  • 申请代码：F020201
  • 项目来源：国家自然科学基金
  • 研究期限：2003-01-01-2005-12-01
  • 项目负责人：张乃孝
  • 负责人职称：教授
  • 依托单位：北京大学
  • 批准年度：2002
中文摘要：

重点研究语言的多态性，在此基础上探讨语言组件的划分策略和语言组装的完备性与一致性，通过在语言的定义中引入图文法和抽象机模型，可望对领域语言设计的正确性，语言精化过程的正确性及领域语言的可视性等方面进行深入的研究，本项研究对于降低领域语言的开发代价提高领域语言的正确性，可靠性和可维护性具有重要意义。

中文主题词： 领域语言；面向语言；语言组件；多态性；余代数
结论摘要：

英文主题词DSL;Language-Oriented;Language Component;Polymorphism;Coalgebra

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 0
  • 7
  • 0
  • 0
  • 0
会议论文
On Refinement of Generic State-based Software Components
Defining Domain-Specific Languages using Polymorphic and Orthogonal Machanisms
On Semantics and Refinement of UML Statecharts: A Coalgebraic View
A Coalgebraic Semantic Framework for Component Based Development in UML.
Generic Components(Extended Abstract)
A Coalgebraic Calculus for Component Based Systems
小语言LL 的设计
相关项目
不同多态性p27 Val109Gly 生物学特性的研究
期刊论文 13
ZnT2基因人群变异与哺乳期乳腺锌转运功能障碍的相关性研究
期刊论文 5
新疆维吾尔族及汉族溃疡性结肠炎与FUT2基因多态性关联研究
期刊论文 5 获奖 2
直觉模糊子双代数集合的代数结构研究
期刊论文 5
Syk(L)/Cyclin D1细胞信号通路在结直肠癌中的作用及其相关机制研究
期刊论文 13
糖尿病相关基因拷贝数变异与妊娠期糖尿病发病关系的研究
期刊论文 5
食管黏膜上皮癌变过程中生物标志物的相关性研究
期刊论文 17 会议论文 2
自噬基因Atg16L1预测结核病感染风险及其相关机制研究
期刊论文 4 会议论文 3
人群为基础的Hp感染、炎性基因多态性与胃癌关系的流行病学研究
期刊论文 6
张乃孝的项目
软件开发的形式方法与POLYA语言
余代数及其在软件方法学中的应用
期刊论文 8 会议论文 7 著作 1
软件开发的形式方法与变换型语言族
具体领域软件的自动生成