【摘 要】
：
为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者,将软件实体抽象
【机 构】
：
南京邮电大学理学院,桂林电子科技大学广西可信软件重点实验室,南京邮电大学计算机学院
论文部分内容阅读
为拓展服务计算的形式化研究视野、手段和方法,建立并实现了一种针对Web服务的服务计算形式化模型。鉴于开放环境下的服务实体主要来源于不同的第三方提供者,将软件实体抽象成余代数单子,从而以一种黑盒方式给出软件服务的语义模型。给出了余代数单子的一般性定义,在此基础上对软件服务进行单子描述,进而提出一种基于余代数方法和单子技术的Web服务参考模型。最后,实现了一个基于单子的Web服务计算平台原型系统,可支持从遗留系统中进行服务抽取、发布、发现和度量等。
其他文献
在分析Internet上现有分子结构数据库和可视化系统的基础上,以PDB、CSD和ICSD等大型分子结构数据库为数据源,设计了基于Web的分子三维结构虚拟现实系统,为化学、物理学、材料
城前岭２００ＫＶ变电站于１９９６年９月１３日１９：３５发生全站停电，造成郴州１１０ＫＶ电网中的８个１１０ＫＶ变电站全停和京广铁路郴韶段槐树下，白石渡２个１１０ＫＶ牵引变全停，以致京广铁路运输短时中断，社会和政治影响较大。针对这次系统停电
0概述某热电厂1号锅炉系无锡锅炉厂制造、型号为UG-35/3.82-M倒转抛煤机型,1997年安装投运,由于炉型落后,且燃用煤种与设计煤种不符,运行状况不佳,省煤器磨损相当严重,热效率
食用菌袋栽成本低、效益高、管理方便，是食用菌生产的一种主要方式。但是袋栽时直接用绳扎口造成通气不良，影响发菌，造成污染，甚至导致栽培失败。现介绍以下四种通气技巧：
中共'十六大'制定了在新世纪头20年的经济目标:国内生产总值比2000年翻两番,综合国力和国际竞争力明显增强.要实现这一经济目标,必须大力进行经济建设和经济体制改革
白玉春萝卜是一个冬性很强的白萝卜，春种不宜抽薹，在塑料大棚里栽培，可于元月下旬-2月上中旬播种，4月中下旬陆续上市。由于其在“春淡”期间上市销售价格高，效益很好。其高产栽培
江苏国信公司在如东实施的国内首个生物质发电项目将于今年并网发电．这给如东农民消化秸秆以全新出路。
一、草业生产的重要地位1、草业经济的经济效益是相当可观的。如草原面积居世界第一位的美国，在1979年仅草地畜牧业一项的产值就占了美国农业产值的二分之一。草业已成为经济
本文报道了贵州省雷公山国家级自然保护区的木材腐朽菌126种，分属于56属，20科．其中担子菌115种，51属，17科；子囊菌11种，5属，3科．同时，对林区主要植被类型中木材腐朽菌进行了相应的讨论．
介绍了湖南电网２２０ｋＶ线路微机保护运行现状，简要分析了９次不正确动作的原因以及微机线路保护在湖南电网运行中存在的问题。