统一的安全属性形式化描述方法的研究

安全属性的基于特定分析方法和限于特定属性的形式化描述严重影响了安全协议形式化分析方法的有效性和适用性.为解决这个问题,本文提出了一种统一的形式化描述方法,即通过属性动作之间的匹配关系来表达协议的安全属性.用这种方法详细分析了认证属性、保密属性以及公平性属性的形式化表达.通过比较分析,该方法与其他方法相比,具有准确、简洁和扩展性强的特点,在总体上优于其他方法.     

中医方剂本体构建过程中的概念形式化研究

目的:探索方剂学领域相关概念的形式化,为方剂知识语义查询提供支持。方法:以中医方剂学本体研究为基础,以本体描述语言OWL为基本工具进行概念形式化,同时引入Manchester OWL Syntax简化概念形式化的复杂程度。结果:形成一套较为有效的概念形式化方法,并在方剂本体开发过程中应用。结论:中医概念形式化能够促进领域知识的语义查询和推理。     

基于ORD和FSM的Web应用的建模与测试

Web测试是保证高质量Web应用的一种有效技术.然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当中来.对Web应用进行了分析与建模,并对其进行测试,提出了一种可行的Web测试模型.首先得到页面流图(PFD,Page Flow Diagram),进而产生对象关系图(ORD,Object Relation Diagram),然后根据提出的算法将ORD转化为形式化的有限状态机(FSM,Finite State Machine)模型.基于FSM模型,提出了一种有效的测试路径自动生成方法,这些测试路径可以转化为XML语法的测试规格说明.测试引擎将测试规格说明作为输入最终产生测试报告.全文以所开发的一个小型的Web应用SWLS(Simple Web Login System)为例进行阐述.     

语义Web服务组合的形式化描述与验证研究

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.     

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.     

构件形式化描述与模糊检索研究

在软件复用研究不断深入的情况下,构件的准确描述与高效检索已成为面向构件的软件复用研究的热点和难点.本文参照3C构件模型,提出一种基于形式化方法的、可扩展的构件描述模型,包括构件的功能描述、接口描述、环境依赖描述等,并保留了构件关键字、非功能属性等描述项.在此描述模型基础上提出了构件的分步检索法,并着重论述了包含四级模糊度的构件形式化检索方法,以提高构件的查找效率并兼顾查全率.     

Web环境下统计图表的一种生成方法

利用Windows的图形设备接口GDI+提供的图形工具库(即System.Drawing名称空间的GDI+),将程序代码分布在Web服务器端,用户通过浏览器访问相应的网页并运行服务器端代码,动态地生成图表,然后以GIF或JPG图形的形式发送给客户端提交给用户。最后给出一个生成直条图的例子及程序代码。     

类型化的Web服务组合形式化模型

Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性.本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WS Web服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证.最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法.     

认知描述逻辑ALCKR :描述逻辑的一个非单调扩展

描述逻辑是语义Web的逻辑基础,是形式化表达领域知识的工具.但是描述逻辑只能表达单调推理,不能处理不完全知识.认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势.本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR ,保留了描述逻辑原有的优点,加入传递角色属性,增强了表达能力,并通过认知查询拥有了非单调推理的能力.设计了ALCKR 的语法、语义以及表算法.     

我院“新药引进审批信息化系统”的建立与应用

目的:强化医院新药引进审批程序管理。方法:总结我院现行新药引进程序经验,采用微软公司.NET技术,开发基于Web的"新药引进审批信息化系统"。结果与结论:新系统采用三层"浏览器/服务器"结构模式,分外网新药资料收集系统和内网新药审批系统两部分,体现了先进性、稳定性、实用性、智能性和安全性,简化了新药审批流程、提高了效率,在使用过程中基本实现审批公平、公开、透明。