面向语言编程的应用研究

软件开发周期较长,需耗费大量人力、物力和财力,这在一定程度上阻碍了软件产业的发展。针对这一情况,在介绍了面向语言编程(language oriented programming,LOP)及领域特殊语言(domain specific language,DSL)的基本原理基础上,选用基于面向语言编程的MPS(meta programming system)作为开发平台,结合具体实例——本科生毕业设计选题系统,生成了一个领域特殊语言,并简要介绍了该语言的生成过程。对面向语言编程的试探性研究表明,它能极大地提高软件产业的生产力。

面向语言的程序设计在中文信息处理中的应用

软件工程中的"领域专用语言",与自然语言处理中的"受限语言",是从两个不同的研究领域,走向了同一个目的地,所谓殊途同归。本文在面向语言的程序设计方法学的指导下,提出了一种元语言(Meta-Language)的设计:myLang,试图实现两者的有效结合,为中文信息处理提出了一种可操作性强的新实现途径。

面向语言编程——面向对象之后的革命

人们使用计算机描述世界的方式一直在不断地变化,从早期的汇编语言,到函数式言语,比如Lisp,再到面向过程、面向对象语言,和今天无限风光的动态语言等等。语言的变更表现了计算机需要理解的现实世界正在快速地走向复杂,也说明了人们为了更简单地解决复杂问题,一直在不断地努力着。风靡上世纪九十年代的面向对象思想,通过分层结构和树状的抽象提供了一种有效的建模范式,但是今天随着业务日趋复杂,面向对象这种"精确"的建模方式已经渐渐呈现疲态。最近,Martin Fowler和Neal Ford在TSSJS Barcelona一起讲述了领域特定语言(DSL)背后的理论以及现实世界中的案例,向您解释了面向对象之后,人们如何利用更好的工具迎接更复杂的应用。

合同文本置标语言CTML:一种面向智能法律合约的法律信息规范化提取方法

智能合约在法律层面的关注度不断提高,如何将现实法律合同转化为智能合约程序,保证法律元素提取和程序转换的规范化已经成为当前的研究热点.据此,从合约模板化和语义规范化的角度出发,提出一种合同文本置标语言(CTML),通过对合同中语法、结构、词汇的内容进行标注,实现合同要素的提取与转化.首先,构建合同元模型并建立“要素-属性-成分”的三层语义结构与数源标记语法规则,基于元模型设计面向合同文本的置标语言语法规则,通过CTML完成法律信息规范化提取,形成标注合同;其次,通过递归抽象语法树(AST)并建立映射关系,设计由标注合同到智能法律合约的转换规则,完善法律合同到智能合约可执行代码的转化链条.进而,以保理合同为例,演示了合同文本置标语言的语义提取和代码生成的实际效果,为普通法律合同转化成为智能合约提供了一种技术方法.

一种基于非面向对象语言的星载软件构件技术

为了进一步提高星载软件复用程度和解决航天器软件开发效率低下的问题,对星载软件特性和软件构件技术进行了分析和研究;对星载软件构件进行了定义,提出了一种基于非面向对象语言的、适用于星载软件开发和应用环境的星载软件构件模型。基于该模型开发的星载软件构件,具备独立性、完整性、可组装性和功能性。除此之外,对基于这种模型的星载软件构件设计、开发和使用方法进行了介绍,可以为采用非面向对象语言进行星载软件构件开发提供参考。在多个型号中对该技术展开实践,实践结果表明：提出的星载软件构件设计方法能够将星载软件开发效率提高2~5倍。

面向对象语言编译器自动测试工具

针对面向对象语言编译器的自动测试问题 ,结合实际项目 ,研究了面向对象语言编译器自动测试工具 (简称 O- OCTT)设计与实现涉及的有关理论和技术的关键点 ,阐述了 O- OCTT的系统目标定位 .在对传统编译器的测试模式进行分析与比较的基础上 ,提出并设计了 O- OCTT的测试策略、测试模式和体系结构 .提出的可行的 O-OCTT的实现机制 ,测试用例产生策略及引入的插件式设计思想 ,使 O- OCTT可适用于多种面向对象编译器的测试 .

新型的面向对象的编程语言—C#

C#是微软开发的新型编程语言。它具有简单、现代、强大、灵活、面向对象等特性的同时,还提供了自动内存管理、统一类型系统、版本控制及对网络编程新标准的支持等新特性。通过将C#与现阶段较流行的几种编程语言如C++、Java等进行比较,对C#进行了更加详细的剖析。C#能开发多种类型的程序包括Asp.Net工程、Web服务程序、Windows应用程序和控制台应用程序。虽然C#还有一些不足之处,但它仍具有广阔的发展前景。

一种在面向对象语言中嵌入规则的预编译器的实现

传统的基于规则的工具,如OPS5,CLIPS等都是自封闭的,很难集成在用C 等面向对象语言开发的实际系统中.该文在借鉴ILOGRules和CLIPS等工具的基础上提出了一种嵌入在C 语言中的规则语言,主要研究了把该规则语言翻译到生成Rete网络推理机的C 源文件的预编译器的实现方法.该规则语言对ILOGRules做了两点扩充,一是允许直接把C 语言嵌入在规则的条件部分和动作部分用来表达谓词测试和动作;二是增加了AND和OR两种模式成组关系,这样增强了规则表达实际问题的能力和规则与C 语言的互操作性.

基于面向对象语言的芯片仿真技术的实现

介绍了应用 Delphi6.0以类和模块的形式虚拟仿真系统芯片的内部结构、功能、特征参数以及信号之间的传递方式 .提出了系统芯片仿真的新思路 ,新方法 .突破了传统芯片仿真的模式 .为模型的重用。

一种在静态类型面向对象语言中构造VFCG的方法

阐述了在静态类型面向对象语言中构造虚函数调用图 (VFCG)的方法 :先构造可见方法类层次图 (VM CHG) ,再计算继承集、改写集 ,确定改写边界 ,最后利用VM CHG和改写边界构造VFCG .

并行面向对象语言的Action演算语义

给出具体的Action演算EP的定义,并且应用该演算进一步给出一个并行面向对象语言的语义.通过这个例子,说明了Action演算簇在实际应用方面的描述能力.

理解面向对象语言中的继承关系

继承作为面向对象语言的一个重要特性,在系统设计时经常被用到。但继承的滥用会导致系统的灵活性大大下降。因此在深入了解 继承的基础上,需要正确对待继承。

面向对象语言BDOL及其支撑环境

本文介绍一种面向对象语言ＢＤＯＬ，它既是系统规范设计语言，又是系统实现编程语言。ＢＤＯＬ语言支持多种面向对象程序设计语言，如Ｃ＋＋、Ｓｍａｌｌｔａｌｋ、ＣＬＯＳ等的混合编程，从而使语言表达能力增强，更加灵活，同时也能达到更有效的软件复用。

并发面向对象语言COOLⅡ的语义模型

缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的制约 ,本文设计了并发面向对象 L ISP语言 COOL ,给出了该语言的语法、基于配置的操作语义 ,并提出了并发对象演算 CONOC,以此为基础讨论了COOL

从面向方面程序设计的定义到面向方面程序设计语言

目前无论在学术界还是工业界,很多人士简单地将面向方面程序设计理解为模块化横切关注点,狭隘地认为面向方面程序设计构建在面向对象程序设计之上,是面向对象程序设计的扩展、有效的补充等。回顾了面向方面程序设计的定义,分析了面向方面程序设计区别于其它程序设计方法的本质特征,并形式化了定义中的量化语句与方面,给出了量化语句与方面的语义。重申了面向方面程序设计的本质特性是Quantification与Obliviousness,模块化横切关注点只是其带来的一个好处。同时指出了面向方面程序设计是一种新型的程序设计范式,独立于面向对象等其它程序设计方法。并且,基于此定义,给出了面向方面程序设计语言需满足的最小条件集,并比较了主流的面向方面程序设计语言,探讨了这些语言在面向方面程序设计理念上的差异。

面向对象语言中的数据抽象和继承性

面向对象程序设计是一种实用的支持模块化设计和代码复用的程序设计方法。大多数面向对象语言均支持信息隐蔽的数据抽象和封裝。然而继承性的存在却严重地削弱了封装带来的好处。本文讨论了信息隐蔽和继承性间的关系,并描述了一种支持封装的多路继承机制。

面向对象语言并行化中的调用局部化优化

该文提出了一种将调用局部化技术应用于并行环境下面向对象语言的方法 .文中详细讨论了该技术的适用条件以及如何通过该方法减少循环中的远程过程调用开销 .该优化技术首先将循环分离成多个包含有远程调用的循环 ,再将分离后的循环分配给循环中调用对象所在的处理器 ,最后 ,化简迭代空间 ,并且用消息传递来传输数据 .这种优化在对象分布和循环并行化之后进行 ,将函数调用局部化于处理器 .通过这种优化 ,可以进一步挖掘循环中的任务并行性 ,降低计算复杂度 ,减少函数调用开销 ,尤其适合面向对象语言中对循环里小函数的优化 .该技术已经在作者设计的 Java自动并行化编译器 JAPS- II中实现 .在实验中 。

面向对象语言和C++讲座

本讲座从面向对象语言的基本概念和主要特征出发,着重介绍了目前最为流行的面向对象语言C++。但又不是C++的编程辅导,介绍给大家的是关于面向对象语言的本质,特征和C++语言的特性,希望有助于读者对面向对象技术和面向对象语言有比较深刻和全面的了解,帮助您更好使用C++语言和从事面向对象的研究和实践。本讲座有六讲: 第一讲:什么是面向对象语言 第二讲:面向对象语言的基本特征 第三讲:C++语言的基本特性 第四讲:基于C++语言的面向对象分析与设计 第五讲:C++语言的基本类库

面向对象语言中的限制继承

软件重用是提高软件生产率、保证软件质量的重要方法之一,而程序设计语言中的继承机制是软件重用的有效途径.在当前颇受关注的面向对象语言中,介绍较多的是语言所提供的继承设施.本文讨论了面向对象语言中的继承种类,重点探讨了作为薄弱环节的限制继承,并给出实现限制继承的方法.

强类型面向对象程序设计语言——Toop

本文介绍一种强类型面向对象程序设计语言——Toop. 该语言是一种类型化语言,可用于开发可靠性较高的程序,并具有与弱类型的面向对象程序设计语言相当的灵活性。