Web服务事务的测试标准研究

Web服务事务是用来建立高效、可靠的Web应用程序,这些程序分布在网络上且被多个用户并发访问.目前已经研究开发出各种模型和协议,以提高Web服务事务的性能和可靠性.然而,研究关于测试基于应用程序的Web服务事务仍处于瓶颈.提出了一个测试Web事务的标准,该标准定义考虑三个测试方面：级别、功能和深度,并提出一个广义事务模型用于测试Web服务事务.     

基于扩展π演算的长事务处理形式化描述

为了形式化描述复杂的长事务处理过程,在简要介绍Web服务长事务基本概念和π演算语法及语义的基础上,提出了一种扩展的π演算模型,该模型不仅刻画出长事务的处理机制,而且解析了长事务的出错及补偿机制,使长事务处理过程更加清晰和直接.     

一种面向Web服务源程序的谓词抽象验证方法

web服务作为一种典型的分布式计算技术,常用于跨平台跨组织的分布式环境,因此保证其安全性就显得十分重要.作为一种形式化验证方法,模型检测可以验证并发与分布式系统的安全性.现有形式化方法的验证对象多为web服务高层描述语言,而针对web服务底层执行程序的验证工作则较少.提出一种面向web服务源程序的验证方法,采用谓词抽象技术,将源程序转化为抽象模型,最后通过实验说明此方法的可行性.     

面向服务性能的认知网络理论及形式化建模方法

认知网络是解决复杂异构网络系统自我管理的一个新途径,其模型与分析方法研究是亟待解决的关键问题.提出一种基于多元π演算的认知网络形式化建模方法,首先分析认知网络的基本特征,然后结合认知问题本质,构建认知网络理论参考模型,并将多元π演算为描述语言建立认知网络系统形式化模型,把自感知、上下文感知和动作调用的过程抽象成一系列进程,利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程,最后以自配置为例说明了模型应用.该方法以逻辑精确性为特色,能够应用于系统实现的任何阶段,为认知网络的设计提供理论指导.     

二维隐马尔可夫模型的几个等价定义

为了对一般二维隐马尔可夫模型建立严格的形式化定义,在参照低阶二维隐马尔可夫模型定义的基础上,通过对高阶模型进行分析,总结了一般二维隐马尔可夫模型的5个形式化定义,并证明了它们之间的等价性.这些等价性结果有助于加深对二维隐马尔可夫模型本质的理解,为进一步研究提供严格的形式化基础.     

基于Pi演算的Web服务建模与WSDL转换

为顺利地执行Web复合服务,实现服务的自动组合,对基于Pi演算的Web服务组合模型与WSDL语言程序段转换的正确性进行了论证,运用进程代数对Web服务及其组合进行建模,提出并建立了PICM2WSDL模型,通过形式化的方法验证,基于Pi演算的Web服务建模经过PIC2WSDL模型转换可自动生成正确的.wsdl文件。     

计算的模型:图灵机与Petri网

形式化的软件开发方法是建立在严格数学基础上的,其目标是通过严格的分析、验证发现软件设计及开发过程中的模糊性和不完备性,以达到对软件质量的有效控制。Petri网是形式化软件开发的一种很好的描述工具,它在描述异步并发的环境、模型验证等方面有着独到之处;图灵机是迄今为止计算能力最强的计算模型,在理论层面上有着其他模型不可替代的重要作用,它深刻地刻画了物理世界的可识别与可判定2个重要的概念。文章给出了这2种计算模型的一些基本概念、结论以及解决问题的主要方法。最后,用交通管理系统为例说明形式化方法的运用。     

工程数据库中长事务的并发控制

目的　解决工程数据库中长事务的并发控制 .方法　采用一种嵌套事务模型及基于锁的并发控制算法 .结果　给出了该嵌套事务模型的实现 ,并分析了该方法对长事务并发控制的可行性 .结论　采用该方法解决了工程长事务的并发性     

基于动作细化的握手扩展

基于并发系统层次化设计动作细化的强大策略,建立了异步电路握手扩展的形式化语义,提出了一种握手扩展的细化模型.该语义采用等待事件结构,派生出带最大并发的真并发模型,细化系统同垂直互模拟关系的最初规范相一致,并且可以维护细化系统的正确性以及无死锁行为.构建的最大化并发模型,能有效地处理并发信息的综合和验证.     

基于承诺的agent组织描述工具

针对当前描述agent组织的逻辑无法刻画组织间及组织内部可以判定的并发活动这一问题,提出带有截止期限承诺语义的交互时态承诺逻辑,用于描述基于信任的协作.通过引入承诺,将ATL的合作算子《》扩展为《C:ξ:ω:Θ》,表示：组织C承诺当条件ξ满足时立刻开始按规划ω执行,保证在Θ成立之前实现某商定内容.建立交互时态承诺逻辑(ATCL).给出基于行为的迁移系统,以此建模基于带有截至期限条件承诺的agent组织,分别给出ATCL的语法和语义.给出模型检测算法,证明了ATCL的模型检测复杂度为PTIME comple.以卫星图像服务领域特定场景为例,展示了ATCL的表达能力,为研究agent组织可信协作提供了较好的形式化工具.     

基于模型的Web Service性能测试方法

为提高web service性能测试的效率和自动化程度,提出了一种基于模型的web service性能测试方法．web service性能测试模型分层建立,测试步骤模型、测试事务模型、测试调度模型从下至上可实现不同层间测试模型的重用．基于该模型编制了web service性能测试工具软件,并进行了实际应用,为基于模型的自动化性能测试提供了可行的解决方案．     

类型化Pi演算在Web服务组合中的应用

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.     

基于网络技术的实时协同设计并发控制策略研究

为了解决计算机辅助协同设计中重启动频繁、死锁等问题，建立了一种实时协同设计并发控制模型。针对协同设计中数据量大、事务长、多层嵌套的特点，采用操作优先权模糊控制策略。通过图形对象全局ID和实体属性表的一致性维护，系统能够根据运行情况和用户需求自动进行操作优先权控制策略的调整。建立了并发控制机制中事务结构、事务提交、锁机制和冲突协调的联系，事务发生改变后其它站点能够实时显示、实时读取有效数据。实例证明，并发控制策略不仅让协同用户自由地操作共享资源，还能够保证具有高并发率和数据的实时一致性。     

基于J2EE的网络教学平台的研究与实现

文章提出了一个基于J2EE多层结构网络教学平台的设计方案,以解决现行网络教学平台存在的层次结构模糊、逻辑分工不明确、系统可扩展性差等问题。方案引入MVC模式进行J2EE组件开发,将数据存储与逻辑处理有效地分开。在系统实现中,引入会话外观模式,用会话bean封装实体bean,改善了数据存取的性能;将业务代理模式和服务定位器模式结合起来,把业务代理插在会话外观和Command类之间,实现W eb层与业务层的进一步分离。     

一种基于网站结构的页面查询语言FWPQL

为了进一步提高Web页面的查询效率,提出了一种基于相似网站结构的页面查询方法.利用形式语言对该方法进行了定义,得到了一种页面查询语言FWPQL.针对一种常用网站结构,利用FWPQL驱动页面查询,建立了站点导航树的实体关系模型,并得到查询结果集,从而验证了该方法的合理性.     

一种基于本体服务索引的Web服务扩展方法

传统的获取Web服务的方法是通过关键字匹配,由于此方式在发现潜在语义相符的Web服务时较为困难,越来越多的学者研究如何基于语义检索Web服务。本文设计了一种新的语义匹配模式：基于本体服务索引的服务匹配。通过建立从服务到本体库的索引,将本体库和Web服务库关联成一个逻辑整体。通过UDDI,用户请求会直接发送给推理规则库,在得到服务请求后,通过相应推理规则得到领域本体中与服务请求在一定相似度范围内的类及实例,而后将这个结果集输入到本体服务索引,经过匹配可输出较符合的Web服务结果集。     

基于项重写的安全电子交易形式化模型

构建一个安全电子交易的形式化模型,为实现对相关安全协议的自动化分析提供了理论基础和技术手段.该模型基于项重写理论进行构建,通过符号化和规则化的方式刻画电子交易的3个主要过程,不但体现交易双方能互相检验身份的安全机制,并且通过项重写系统终止性和会聚性的性质证明该模型具有完整性和一致性等特点,在安全性分析方面验证该模型满足认证性和发送非否认性.     

基于移动Agent的虚拟粮油交易市场交易模型

虚拟粮油交易是降低粮油交易成本和提高交易效率的重要途径,已成为目前粮油交易的主要发展方向.虚拟粮油交易的有效性取决于合理的粮油交易模型,本文旨在结合粮油交易的具体要求和移动Agent的特点,提出基于移动Agent的粮油交易模型,该模型综合了粮油交易的多种因素,利用多Agent实现并发交易,以提高交易的有效性与效率.同时也对AHP层次分析法进行了改进,提高了交易决策的有效性.     

面向对象的时序逻辑语言

针对时序逻辑语言缺少面向对象概念的现状,对投影时序逻辑进行了扩展,介绍了新的语法和语义。在扩展投影时序逻辑中,基于变量集合的层次化和谓词的分组,给出了对象、类和继承等概念的形式化定义。扩展投影时序逻辑的一个可执行子集被定义为面向对象的时序逻辑语言Framed Tempura++,它能够用于面向对象的程序设计,可以模拟组合Web服务的执行。所给出的实例表明,该语言与Framed Tempura相比,能有效地重用代码,提高了代码的可读性和可维护性。