【摘 要】
：
精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模
【机 构】
：
江西师范大学计算机信息工程学院,江西师范大学物理与通信电子学院
【基金项目】
：
国家自然科学基金(61762049,51567011,61462039,61662035,61562040);江西省科技课题(20171BAB202013,20151BBG70062);江西省教育厅科技课题(GJJ14255,GJJ150349)资助项目
论文部分内容阅读
精确地描述Web服务语义对Web服务的发现、执行、动态组合和交互至关重要.在Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言.该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明.为支持模型转换,提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统.最后采用真实案例,验证了该方法的有效性.
其他文献
世界上最大的足球场世界上最大的足球场是巴西的马拉卡纳足球场。它始建于1948年,于1950年竣工。这座足球场整个造型为椭圆型,高32米,周长940米,可容纳观众20万5千名。场内
国际金融危机发生以来，煤炭市场需求减缓，价格大幅下滑，黑龙江煤炭矿区再次遭遇供大于求的难题。本文着重分析了黑龙江煤炭产业链延伸的背景和模式，提出了实现矿区产业链延伸和煤
死刑又称生命刑。死刑与奴隶社会一同产生,迄今,还有很多国家和政府采用这一刑罚。然而,事实上,到了18世纪有人毅然地提出了将它废弃的主张。这个人就是被后世称为"近代刑法
目的:通过阻断交感神经以及补给递质去甲肾上腺素后检测小鼠子宫CD80、CD86,NF-κB表达的变化,探讨交感神经对小鼠子宫CD80、CD86表达的影响以及交感神经对小鼠子宫局部免疫
随着国家深化改革力度的不断推进,国家推动国有企业转型,深化国企改革方面做了很大的努力。国有企业是中国特色社会主义的重要物质和政治基础。市场经济不断发展,竞争环境的不断严峻,对国有企业而言,如何能更好的匹配和适应市场环境,在发展和生存问题上,需要做出慎重选择。任何企业的发展和转型,都离不开人的因素。那么人力资源不可再生和替代的重要资源,使得企业在竞争激烈的环境中起着所不可忽视的关键性作用。国有企业的
目的:通过观察韩氏滋肾汤治疗45例卵巢早衰(POF)患者的临床疗效,探讨韩氏滋肾汤的确切疗效及其作用机理,为临床治疗本病提供有效的诊治思路。方法:收集在2018年06月至2019年1
一弯深深的碧绿,像一只展翅的雄鹰,紧紧扼守在、内蒙古浑善达克沙地的南缘。这里是塞罕坝,从卫星云图上看112万亩人工防护林,犹如一道绿色长城,成为京津冀和华北地区的风沙屏
系统地介绍土木与水利学科在"九五"期间完成的,国家基础性研究重大项目(攀登计划B)"重大土木与水利工程安全性与耐久性的基础研究"的主要成果.这个项目是以与国民经济息息相
三菱FX2N系列PLC的位左移指令和位右移指令在控制系统中的应用很多,本文通过移位指令在流水灯控制中应用的教学案例设计为例,以提高教师的工程应用能力。由于流水灯具有流动
随着互联网及相关技术的快速发展,信息网络安全问题也日益突显,人们在享受网络发展带来便利的同时,面临着大量如垃圾邮件、网络钓鱼、点击欺骗等的恶意网络攻击,它们大多借助恶意URL来完成攻击行为。恶意仿冒URL是恶意URL中一种特殊的类型,它仿冒知名网站的域名,以达到迷惑用户、降低传统恶意URL检测方法准确率的目的。针对恶意仿冒URL的有效识别问题,本文提出一种基于深度学习并结合自然语言处理思想的恶意仿