【摘 要】
：
针对Web服务异常处理中存在缺乏异常处理逻辑开发方法支持的问题，提出了一种基于着色Petri网描述的Web服务异常处理逻辑开发方法。该方法通过构建了一个服务层异常处理框架(EHF-S)实现对一个正常的Web服务调用响应消息进行处理，产生一个带异常处理的Web服务响应消息，其中带异常处理的响应消息是在SOAP消息中加入异常信息和WS-Addressing路由协议。首先介绍了带异常处理的SOAP消息定
【机 构】
：
武汉大学软件工程国家重点实验室 武汉 430072;武汉工业学院网络中心 湖北 武汉 430023
【出 处】
：
第十一届全国软件与应用学术会议(NASAC2012)
论文部分内容阅读
针对Web服务异常处理中存在缺乏异常处理逻辑开发方法支持的问题，提出了一种基于着色Petri网描述的Web服务异常处理逻辑开发方法。该方法通过构建了一个服务层异常处理框架(EHF-S)实现对一个正常的Web服务调用响应消息进行处理，产生一个带异常处理的Web服务响应消息，其中带异常处理的响应消息是在SOAP消息中加入异常信息和WS-Addressing路由协议。首先介绍了带异常处理的SOAP消息定义，接着利用着色Petri网，描述Web服务的异常处理过程中的SOAP消息的异常信息提取和基于WS-Addressing的异常处理过程。基于几个常见的Web服务的异常处理策略，描述了通过对WS-Addressing配置，实现不同异常处理策略的处理，并引入一个汽车装配案例阐述了本方法的使用过程。
其他文献
甲骨文考释在甲骨学研究中是一个重要课题，针对甲骨文的特点，提出了一种基于语义的模糊匹配算法，该方法把语义的理解和模糊模式匹配相结合，从而辅助甲骨文学者进行考释工作。
甲骨文字是有别于现代汉字的一种雕刻在牛骨或龟甲上的象形文字。现代汉字字形的计算机描述方法不能完全应用于甲骨文字形的描述。基于甲骨文字形多变，异体字多等特点，提出了一种基于甲骨文字形描述库的字形特征提取和编码算法，该算法不仅可以实现甲骨文字形的基本的输入输出运算，而且该算法的编码方案不这依赖任何操作系统，便于自动生成多种甲骨文字形。
本文详细介绍了已建成的“非汉字文化圈学生错别字数据库”，该数据库客观反映了外国学生在汉语学习过程中的错别字现象，并为使用者提供了完备的统计检索功能；拟建立的网络应用平台系统将扩大其使用范围及语料和错别字信息收集途径，有利于为对外汉字教学研究构建一个资源丰富的学术平台。
本文中从出版文献收集甲骨文中表示动物名称的60多个文字，建立了一种形式化的构形表示方法，研究了这些文字之间的相似性和距离。有关结果可用于构造甲骨文动物名字的认知网络。
软件文档及其程序代码之间的关联性或可追踪性分析是软件分析、理解的重要基础。本文探讨了软件的中文文档和程序代码中蕴含的主题及其相关性。针对软件文档的章节结构和词汇空间，以及程序代码结构、标识符命名空间、注释风格等方面的特点，在LDA模型的基础上提出了一种基于主题词的软件中文文档与代码间关联关系的分析方法。该方法依据词汇的香农信息提取文本段的主题词。实验结果表明，主题词分析方法与LSI模型分析方法相比
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型，以扩展Petri网风格的SA模型为模型转换的目标，以行为映射为模型转换的依据，提出了一种将需求模型转换为SA模型的方法。首先，讨论了模型转换的整体思路；其次，将行为特征模型中的各个结点转换为SA模型中的构件和连接件，并提出了相应的转换规则；再次，讨论了属性特征模型中主动属性特征的转换，并
随着国家教育信息化的发展，远程教育成为一种越来越重要的教学模式。目前以“中国教育在线”为代表的大多数远程教学平台只提供了文本课件、视频/音频等静态教学资源。这些资源缺乏交互性，难以向学生精细化再现其制作过程与教学场景，无法满足互动教学的要求。此外，这些教学资源数据量通常较大，不适于在网络上及时传输，难以保障远程教学的及时性和实效性。本文在分析远程教学需求以及所面临的挑战基础上，提出了一种基于记录/
X86 虚拟化环境逐渐成为Web 服务器重要的部署环境，该环境中虚拟机不能直接访问硬件资源，如I/O 操作等必须通过虚拟机管理软件(VMM)，因而当I/O 访问密集时会极大地增加VMM 的性能开销。本文研究了一种面向X86 虚拟化环境的Web 服务器I/O 优化方法，该方法通过在VMM 加入一种缓存机制，减少虚拟机内部网络数据包的交换次数，从而降低I/O 虚拟化的开销。实验结果表明，该方法能有效降
通常程序的不变式验证可转化为不动点求解问题,但直接计算不动点是非常困难的,故验证时态性质p 常依赖于找到合适地辅助不变式q,使之满足Reach(M)(∈)[q](∈)[p]。本文提出了两种解决方法：(1)基于抽象解释及不动点抽象定理,在抽象域中通过前向或逆向转换求解抽象不动点,并采用widening和narrowing 操作加速收敛,从而完成不变式的自动验证。(2)通过Tableau 方法构造所验
组合服务的可信性是由组件服务和业务流程共同决定的。然而组合服务需要经常进行修改演化，如何分析各种演化操作对组合服务可信性的影响是一项值得研究的课题。本文提出了一种基于可信性依赖图和控制流图的可信性影响分析模型。针对某种演化操作，首先，根据可信性依赖图可以找出所有受影响的组件服务集合；然后，根据组合服务可信性计算方法量化组件服务可信性受影响的程度；最后，结合控制流图量化对整个组合服务可信性的影响。案