IDL2WSDL编译器的设计与实现

为实现新的、增值的服务将现存的中间件技术如CORBA与新兴的Web服务结合起来是非常必要的。其中一个急待解决的关键技术就是如何自动高效地将CORBA对象的IDL描述转换为Web服务的WSDL描述。针对IDL语言到WSDL语言映射的实现问题，提出了一个IDL2WSDL编译器的设计方案，并在自主研制的Web服务运行环境中实现了该编译器。     

基于CORBA/Web Service的PDM图档管理系统

从系统架构和功能需求分析入手,介绍了基于CORBA/Web Service技术开发的PDM图档管理系统,着重阐述了系统开发中的关键技术:IDL到WSDL的映射和CORBA对象的Web Service封装。针对CORBA现有IDL到WSDL映射规范中对复杂数据类型和接口继承的支持不够的情况下,提出了可以满足实际应用需求的映射规则,并实现了一个映射编译器——IDLW,从而实现了Internet范围内的图档数据访问和管理。     

IDL编译器的构造

对象管理组织制定的CORBA规范是分布对象计算的中间件标准，允许客户透明的访问远地对象，同时支持异构系统的互操作。IDL编译器是分布计算环境的基本开发工具。灵活、高效、可维护的IDL编译器对于分布对象系统的实现意义重大。文中首先讨论目前IDL编译器的设计方法及存在问题；其次给出了一种新的IDL编译器体系结构；最后给出了结论。     

基于CORBA构件模型的编译器的研究与实现

分析了IDL3与CIDL语言对CORBA构件模型的定义,设计了CORBA构件模型的编译器及其接口池,编译器前端采用LEX与YACC工具对源文件进行词法与语法分析来实现,后端采用对接口池"前序遍历"的方法最终实现编译器,为CORBA构件平台的构件实现提供了生成工具。     

基于MDA的Web服务组合的研究及应用

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。提出了一种基于模型驱动架构的Web服务组合方法,将模型驱动软件开发方法学应用到Web服务组合中。针对WSDL语言给出了一个UML Profile for WSDL来建立与WSDL平台相关的静态结构模型,并给出了与WSDL平台相关的静态结构模型和WSDL语言之间的模型转化规则。并通过一个旅行代理服务的实例说明了方法的应用情况,验证了方法的可行性。     

多约束的Web服务组合研究

随着Web服务的种类越来越多,具体的请求者对服务组合的要求越来越高。针对目前的组合方式、组合的服务质量以及用户的方便度,提出了多约束的服务组合方案。结合目前请求者和服务提供者之间对WSDL的依赖性及其交流上的不便,把Web语义加入到了Web服务组合的过程中。最后综合考虑用户对服务的满意度,采用动态规划方法,设计了多约束的水平组合解决方案。     

IDL3.0编译器符合性测试研究和设计*

探讨了CORBA符合性测试的发展情况,对OMG IDL编译器符合性测试进行了研究。最后,实现了一种IDL3.0编译器符合性测试方法。     

一种WSDL自动生成系统的研究与实现

WSDL是Web Services中的主要协议.WSDL文件的自动生成是建立WebServices应用支持环境中需要解决的关键问题.通过对Java反射机制（Reflection）的应用,建立了一个轻量级的WSDL自动生成工具,对于由Java类来实现业务逻辑的Web Services,能够自动生成该服务对应的WSDL文件,为相关WSDL文件生成系统的设计提供了范例.     

一种支持流程服务集成及协作的工作流描述语言PS-XPDL

在面向服务体系结构和Web服务技术快速发展的条件下，对封装成服务的业务过程集成和协作的支持成为工作流描述语言的发展趋势。通过对流程协作的层次模型和场景模型的分析，提出了一种基于WfMC工作流元模型的扩展元模型，并根据该元模型对XPDL进行了相关元素扩展,得到一种支持流程集成和协作的工作流语言PS-XPDL。该语言对流程服务的协作关系及数据同步具有完备、准确的表达，同时其基于执行支持层标准协议的扩展也使得流程服务的集成及协作易于实现。     

Web服务编排描述语言WS-CDL的形式化模型框架

Web服务编排描述语言WS-CDL从全局的角度定义了一组Web服务之间的协作和交互必须遵守的规则。作为一个基于XML的描述性规范语言,WS-CDL缺乏形式化的模型和验证机制,难以保证协作和交互的正确性。本文针对WS-CDL规范提出了一个基于全局的形式化模型框架Abstract WS-CDL,包括语法、同构关系和操作语义,同时定义了一套从该模型框架到基于Pi-演算描述的局部模型的映射规则,最后通过案例分析给出了全局和局部2个层次的模型验证方法。     

基于攻击描述语言的计算机网络攻击演练研究*

提出攻击描述语言(CNADL)面向攻击树建模,采用上下文无关文法设计,描述攻击企图、特征和步骤,由解释器生成相应操作的命令交互执行.基于CNADL在GTNets仿真平台上开发攻击演练系统.实验结果表明,基于CNADL的攻击演练系统能有效地刻画攻击特征,实现了拒绝服务、蠕虫、口令窃取和IP欺骗四种攻击仿真.     

高级神经网络描述语言及其编辑编译器

高级神经网络描述语言（NNDL）是通用并行神经网络模拟系统（GP^2N^2S^2）所提供的专用于编写神经网络模拟程序的非过程性语言。本文介绍了NNDL的几种主要特色，并介绍了它的编辑器和编译器的若干主要特点。     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

YH-2C语言优化编译器的设计

Ｃ语言优化编译器是借助于微机上的Ｉｎｔｅｌ８０３８６Ｃ语言编译器为研制平台，采用交叉编译的方法设计实现的，它是我国自行设计的第一个从底层开发实现的巨型机Ｃ语言编译器。本文首先给出了ＹＨ－２Ｃ语言优化编译器的设计原理，然后详细介绍了其主要系统组成和技术特点，最后指出了我们以后进一步要做的工作     

同步语言Lustre的编译前端的设计与实现

同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lustre语言编译器前端主要采用C++语言进行描述,并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。该编译前端会对一个经典的Lustre语言模型进行检测,通过对检测的结果进行分析,验证了该编译前端的可行性。     

The design of a pascal compiler

The development of a compiler for the programming language PASCAL¹ is described in some detail. Design decisions concerning the layout of program and data, the organization of the compiler including its syntax analyser, and the over-all approach to the project are discussed. The compiler is written in its own language and was implemented for the CDC 6000 computer family. The reader is expected to be familiar with Reference 1.