简介:为了提高客户/服务器结构的信息管理系统的系统运行性能,必须注重数据库完整性设计。详细地分析了造成数据库完整性破坏的原因,提出了相关的解决方法,对于如何更好地进行数据库设计具有一定的指导作用。
简介:为了解决语义Web服务匹配方法主要针对服务IO描述的匹配,导致匹配结果较为片面的问题,提出了一种基于描述逻辑的语义Web服务IOPE描述及匹配方法.具体使用描述逻辑概念标注服务IO,以描述逻辑断言库刻画服务PE.进行服务匹配时,利用描述逻辑TBox概念包含检测确定服务请求与广告IO之间的包含关系;利用描述逻辑ABox一致性检测推理,判断服务请求与广告PE之间的逻辑蕴含关系;依据此蕴含关系,将PE匹配情况划分为4种,即Exact,Perfect,Side-effect和Common匹配,用以对匹配结果进行有意义的排序.实验结果表明,所提方法在召回率与现有方法相当的情况下,具有更高的查准率.更多还原
简介:为了提高组合web服务的设计和实现质量,使用形式化方法对其进行建模并对其关键性质进行验证.使用web服务接口控制流自动机(WCFA)对web服务进行建模,主要描述其控制流及与其他web服务的交互关系.组合web服务由一组交互的WCFA组成.使用嵌套字自动机(NWA)对组合web服务的整体行为进行建模.将一组WCFA转换为嵌套字自动机(NWA)的算法是深度优先搜索算法的变种,算法中使用路径相关的可达性分析计算NWA的每个节点的状态公式和调用栈.安全性相关性质、调用栈相关性质及服务调用的前置和后置条件都可以用断言来描述,然后使用一个自动的可满足性(SAT)求解工具对这些断言进行验证.
简介:随着信息化建设的不断深入,人们对管理信息系统软件的要求也不断提高。传统的胖客户端架构和瘦客户端架构已经不能满足构建某些软件系统的需要。人们急需一种新的架构技术来适应软件的发展。智能客户端技术的出现为解决此问题提供了一种良好的解决方案。智能客户端结合了传统胖客户端和瘦客户端的优点,摒弃了它们的缺点,为用户提供胖客户端应用程序的运行效率和瘦客户端应用程序易于部署和更新的优点。主要研究在.NET平台下构建WindOWS智能客户端应用程序要涉及到的关键技术,包括:智能客户端层次结构、数据处理技术、偶尔连接技术以及安全性问题等。给出了智能客户端的参考模型。
简介:动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.