模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

支持多媒体的MIS自动编程方法的研究

随着计算机网络技术和多媒体技术的不断发展，信息系统也提出了许多新的要求，系统的自动生成技术也必须支持这些新的需求。本文主要讨论在计算机网络和多媒体环境下，关于信息系统的自动生成实现方法，讨论基于这种方法的程序自动生成工具的研究。实践证明，这种方法是可行的，取得了很好的效果。     

一种信息系统开发的新方法

本文提出信息系统开发的一种新方法：综合信息系统的共性设计了通用功能模块；研制出软件工具和集成开发环境，基于开发工具和环境，采用多口循环的原型法。本文还讨论了软件工具的主要技术和集成环境的方法。实践证明，本方法可以提高信息系统的开发效率，提高软件的质量和可维护性。     

面向对象建模方法研究

本文首先介绍了面向对象建模方法的发展近况,然后就几种主要的面向对象建模方法进行了比较和分析,最后简单阐述了这一领域今后的发展趋势。     

基于信任度的网络应用对等单点登录

为了克服传统的集中式单点登录解决方案中单点失效的缺陷，适应企业间单点登录动态性和广泛性的特点，基于Liberty单点登录协议，提出了基于信任度的网络应用对等单点登录模型．通过把对等概念引入单点登录，使企业间应用的单点登录范围可以进行动态设定．通过建立单点登录信任模型，提出了相应的身份联合和单点登录过程，并解决了企业间应用在单点登录情况下的用户个人信息交换策略、授权管理等问题．分析表明，企业内部应用间的单点登录，适合采用集中式的单点登录；一旦单点登录跨越了企业边界，则适合采用基于信任度的对等单点登录；在实际应用中，宜采用两者的混合体．     

一个面向对象软件集成环境的设计与实现

本文提出并初步实现了这样一个面向对象软件集成环境,它能把面向对象技术结合到软件分析、软件设计、软件生成及软件维护等阶段,并最终生成符合软件工程标准的软件产品．在设计该环境时着重考虑了理论方面与技术方面的实用性和先进性,建立了适合于一般软件系统特别是信息系统的应用框架和对象环境库模型以及与之相适应的一套开发方法和流程．在本文的最后,根据课题研究成果实现了一个简单的应用,它是某大学教务管理系统中有关学籍管理的一部分．     

一个基于模态逻辑的安全协议度量方法

为将量化分析方法引入安全协议分析中，以模态逻辑方法为基础定义了协议度量方法，并形式化地给出度量协议内容对协议安全目标满足度的参数和方法，同时在此基础上，进一步地给出了对安全协议冗余进行度量及化简的方法。应用该方法对实例协议进行分析，直接描述各协议内容的贡献度，显示冗余内容对目标实现的无效作用，从而可以安全化简。量化分析在安全协议形式化分析中的应用是本方法的主要特点，它具有模态逻辑方法的优点及缺陷。     

基于Dirchlet分布的扩展主观逻辑

针对基于二值逻辑的主观逻辑中存在的一些问题，提出了基于Dirichlet分布的扩展主观逻辑．在利用三值逻辑代替原来二值逻辑的基础上，扩展主观逻辑重新定义了事实空间与观念空间之间的映射关系和映射函数，并给出了新的扩展合意规则．扩展主观逻辑保留了主观逻辑基于统计推断和概率理论的优点，并考虑了事件结果不确定时的情况，从而可更好地建模和处理信任中的主观性和不确定性．实例分析表明，扩展主观逻辑具有合理的事实根据和理论基础．     

基于SRP-6协议的认证与密钥交换方案

针对Web服务中身份认证的问题,分析了SRP-6(Secure Remote Password-6)协议的密钥交换机制,提出了一种基于简单对象访问协议(SOAP)和SRP-6协议的认证与密钥交换方案(SRP-over-SOAP).该方案将SOAP消息进行扩展,通过在SOAP头中加入标记,实现了SOAP消息对SRP认证信息的传递.文中还将该方案用于Web服务,实现了服务器和客户机间的双向身份认证.     

图形信息系统设计的关键技术

以邮电网络信息系统为例，阐述了图形信息系统设计中的关键技术：图形处理和信息处理的分工和结合，用面向对象的方法构造系统，事件处理机制的构造，数据存储格式以及输入输出系统的设计。