基于本体论和标记图相似性的Web服务匹配算法

随着各种已有Web服务数量的日趋增加，如何快速发现可用的Web服务变得愈加重要。而随着语义Web服务的不断发展．Web服务发现也从原来的单纯采用关键字或简单分类逐渐转变为更多地使用语义信息。发现的关键在于匹配，而目前一些较成熟的技术，如OWL—S，采用了本体技术对Web服务进行描述．因此，文章提出了一个基于图相似性的本体匹配算法．通过构建Web服务本体并转化成标记图进行匹配．实现语义Web服务描述的匹配，从而准确快速地发现满足特定需求的Web服务。     

一种针对软错误的程序可靠性定量分析方法

 宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,提出一种针对软错误的程序可靠性定量分析方法PRASE,并且提出基本块分析法和3条运算定律以改进其分析效率.实验表明软错误对程序可靠性的影响与程序自身结构密切相关,同时分析结果还指出在软错误影响下程序的关键脆弱点,对实现针对软错误的高效容错算法有参考意义.     

基于规则引擎的柔性工作流管理系统

工作流的柔性问题至今仍未得到很好的解决,尤其在应对当今日新月异的业务规则变化时,复杂而难以改变的业务过程显得力不从心。应用软件方法学中“关注点分离”的观点,提出将固化在业务过程中的业务规则从业务逻辑中分离出来,交由规则引擎进行定义和管理。将工作流管理系统建立在规则引擎的基础上,提高了系统的柔性,增强系统的可读性和可维护性。     

基于CDN技术的远程教育系统的研究与实现

提出了基于内容分发网络(CDN,content delivery network)技术实现远程教育系统的完整的解决方案,并对系统实施过程中遇到的技术难点进行了详细讨论。经测试证明,该系统可以提供稳定、高效、大并发流的远程教学服务,大大改善了用户体验。     

工作流事务的形式化描述和实现

工作流事务是工作流技术本身亟待解决的难题之一,现有的众多工作流事务模型大多使用操作性的非形式化方式描述工作流的复杂语义,极大地限制了它们在复杂场景中的可用性,为此将事务的形式化描述和工作流的实际应用联系起来,提出了一种在工作流环境下管理长事务的方法．这种方法建立在事务补偿的基础上,通过允许过程出现环结构来处理任意过程结构,并通过引入一致点实现过程的部分补偿．形式化的事务模型描述以及基于集合论和图论表示的事务管理算法为工作流系统提供了清晰无歧义的事务语义．