【摘 要】
：
广受关注的Web服务事务处理常因资源死锁而导致资源浪费、利用率低和事务成功率低,Web服务事务处理的资源协调研究越来越活跃。形式化方法对于减少设计错误,提高系统可信度是
【机 构】
：
南京航空航天大学信息科学与技术学院 南京 210016
【出 处】
：
2008全国软件与应用学术会议(NASAC'08)
论文部分内容阅读
广受关注的Web服务事务处理常因资源死锁而导致资源浪费、利用率低和事务成功率低,Web服务事务处理的资源协调研究越来越活跃。形式化方法对于减少设计错误,提高系统可信度是一种有效的方法。讨论了THP协议与Pi-演算元素的对应关系,说明了利用Pi-演算建立Web服务事务资源协调模型的规则,最后使用Pi-演算对THP协议框架进行形式化建模,并利用形式化工具对建立的模型是否满足无死锁性进行了验证,进一步体现了THP协议在Web服务事务资源协调中的独特优势。
其他文献
近年来,面向计算机辅助诊断的应用系统正在越来越有力地支持着医生对疾病做出准确的诊断。医学资源服务模型是一个支持医学资源的获取、分类和检索的医学资源组织与管理框架
提出了一种基于XQuery的网页编程语言,XQPage。该语言在XQuery的基础上,通过扩展对于浏览器文档对象模型DOM的支持、增加文档对象更新功能、支持页面事件响应机制,使得网页开
Web服务资源框架(WSRF)是为解决有状态资源在网格计算中与Web服务结合而提出的一套标准。然而自然语言对协议的描述缺乏准确性和严格性,所以,提出了WSRF关键部分资源属性文档
目的动物离心机的特殊操作条件，限制了生理监测技术的应用。因此，仅依靠单一的动物离心机模型不能满足多层次系统研究的需要，必须建立多种模拟+Gz致意识丧失（G-LOC）的动物模型。方法应用快速下体负压（LBNP）模拟+Gz引起的意识丧失。结果发现麻醉大鼠分别在-2.67（-20mmHg）、-4.00（-30mmHg）及-5.33（-40mmHg） kPa的LBNP作用下，限水平动脉血压迅速降低，脑电波
在语义网中,信息以及信息之间的关系使用元数据和本体库来表示,RDF和RDF Schema是W3C规定的用于表示元数据和本体的标准.由于RDF数据具有图的结构特点,存储和查询比较复杂,没
Top-k空间偏好查询根据空间对象周围的特征性质对空间对象进行等级评价,并返回具有最高等级评价的k个空间对象.现有的Top-k空间偏好查询算法大多利用R树结构为空间特征数据建
P2P作为数据交换手段,极大地依赖链接到P2P虚拟网络下节点的稳定和性能。节点性能提升无法规避基础设施和节点维护的投入,这样就对无私节点的“搭便车”行为提出挑战。理性节
资源定位机制是Peer-to-Peer系统的关键技术,它的主要功能是返回请求资源的定位信息.本文提出了一种基于概率学习的路由搜索技术.应用机器学习的方法提高资源定位机制的效率
本文针对原有Web标注模型在标注定位的准确性、会话方式的实时性等协同会话情景下存在的问题和不足,设计了一种结构化协同Web标注模型,同时提出了WAC算法用以解决协同标注会
根据第三方测试机构的测试结果,从工程实践的角度分析了上海中小企业软件产品质量及中小企业现状,在此基础上提出了提高软件产品质量的方法和对策,并在测试管理平台中实现了