【摘 要】
：
Web服务资源框架(WSRF)是为解决有状态资源在网格计算中与Web服务结合而提出的一套标准。然而自然语言对协议的描述缺乏准确性和严格性,所以,提出了WSRF关键部分资源属性文档
【机 构】
：
北京航空航天大学计算机学院 北京 100191
【出 处】
：
2008全国软件与应用学术会议(NASAC'08)
论文部分内容阅读
Web服务资源框架(WSRF)是为解决有状态资源在网格计算中与Web服务结合而提出的一套标准。然而自然语言对协议的描述缺乏准确性和严格性,所以,提出了WSRF关键部分资源属性文档的形式化模型,并运用集合理论定义了资源属性文档集合,该集合采用严格的数学方法对资源属性文档进行建模。本文的目标是在严格、准确地表示资源属性文档的基础上,对WSRF协议的属性标准操作进行形式化描述。
其他文献
各位读者大家好： 我是吉林孙喜友，2009年第七期刊出“石粉变塑料 改变我的命运”后，多家杂志社派记者到我厂采访，我从一个摆地摊的小贩子变成事业有成的小老板，人这辈子，生容易，活容易，生活不容易，我十几年从开小超市到当鱼贩子起五更睡半夜，盼着早一天过上有钱有闲轻松的日子，石粉变塑料，让梦想成真，现在我的心情用四个字形容，老高兴了。 2004年我在老家经营小超市，一位开汽车修配的朋友让我担保贷款
本刊讯鉴于住总集团在人居建设领域、特别是在保障性住房建设方面的突出贡献,日前,中国房地产建筑技术促进会、中国住宅环境发展中心、中国建筑施工与监理管理学会、中国楼市
故障定位是故障诊断的关键环节,直接影响故障维护的效率。提出一种基于软件规约信息的动态定位方法,分析系统实际运行轨迹信息与预期轨迹信息间的差异,实现系统的故障定位。
事务处理是服务组合研究领域的热点问题之一,补偿机制是服务组合事务处理所普遍采用的机制。当前支持服务组合事务处理的补偿机制或是在较高级别定义补偿处理,可能会导致重复
工业界和学术界对Web服务进行了大量的研究,针对不同的标准提出了诸多注册模型(如UDDI,ebXml等),但这些模型之间的互操作问题已经成为Web服务发展的重要瓶颈。基于国际标准IS
四长之先生是罗家伦先生的“党义公民”课助教,不隶属于任何院系。他住在当时助教们住的中央大学第二宿舍,而办公则是在罗家伦先生的校长办公室里,这使他得与罗家伦先生有了
通过组合己有服务提供新的增值服务的服务组合是一种具有重要价值的应用构造模式。在此基础上如何对组合服务流程的执行状态监控是一个很重要的问题,无论是在流程建模、模型
服务组合是构建复杂Web软件的有效方法,但网络的不稳定性使得服务组合的响应时间难以得到保证。为此,提出了一种基于时间Petri网的服务组合模型SCTPN,该模型能精确描述Web服
近年来,面向计算机辅助诊断的应用系统正在越来越有力地支持着医生对疾病做出准确的诊断。医学资源服务模型是一个支持医学资源的获取、分类和检索的医学资源组织与管理框架
提出了一种基于XQuery的网页编程语言,XQPage。该语言在XQuery的基础上,通过扩展对于浏览器文档对象模型DOM的支持、增加文档对象更新功能、支持页面事件响应机制,使得网页开