Model checking web services choreography in process analysis toolkit

来源 :Journal of Shanghai University(English Edition) | 被引量 : 0次 | 上传用户:fuwutu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Web service(WS) is an emerging software technology,especially acting an important role in cloud computing.The WS choreography description language(WS-CDL) is the standard for modeling the observable behavior of WS composition across multiple participants
其他文献
X射线分幅相机(XFC)具有一维时间分辨和二维空间分辨,因而被广泛应用于惯性约束聚变和高能量密度物理研究。XFC时标是指以激光打靶时刻为零点确定的分幅图像时间关系,获得具有准
我国《刑事诉讼法》于2018年10月正式确立认罪认罚从宽制度。此后,相关规定进一步被细化落实,推动实务工作有效开展。如今,我国认罪认罚从宽制度已然步入正轨,其案件适用率也在逐渐上升。除了看到认罪认罚从宽制度的大好前景之外,亦须注意到实践中存在被追诉人认罪认罚后撤回、案件判决后上诉的现象。这些现象反映出我国认罪认罚从宽制度中存在对于被追诉人反悔问题关注不够、相关机制不完善的问题。被追诉人反悔问题不仅
2005年11月30日陈思和先生在北大做了题为:《“五四”文学:在先锋性与大众化之间》的讲座。2006年3月8日中华读书报以整版的版面刊登了这篇讲座稿。
在浮游有孔虫壳体稳定同位素及Mg/Ca和Sr/Ca值的相关研究中,人们常因各种原因而选择不同粒径的壳体进行分析测试,而很少注意壳体大小可能导致研究结果的分歧。针对这一问题,
胃肠道运动功能抑制是上腹部手术后的常见并发症之一,处理不当极有可能给病人造成严重后果.而实施有规律的早期活动是促进肠功能恢复的有效措施.1999年8月至2002年11月,本科1
近些年来,我国的社会建设正处于不断完善的发展状态,其中经济体制的改革不断取得深化革新的成就,在传统的经济体制内事业单位的体制情况已经不能够适应当前社会的发展需要,在
使用硅烷偶联剂KH570对孔隙率不同的泡沫铝合金进行表面改性后,通过注塑成型法制备了聚甲醛/泡沫铝合金互穿复合材料。研究了改性后泡沫铝合金表面的红外结构、泡沫铝合金/聚
安全、可靠、廉价的污泥处置技术是当今世界的一大难题。一般污泥处理/处置的思路是将污泥无害化、减量化和资源化。本文考虑其有机物含量较高,可以将其作为生物质能源原材料
镍自5月份全球镍市场价格暴涨至5万美元以来,镍价并没有发生重大改变,完全是基金的推动所致。近期由于基金“全线撤退”,镍价连续暴跌,供求关系也没有明显扭转。
<正>11月30日,省长鹿心社主持召开第53次省政府常务会议,确定打造"南昌光谷"、建设江西LED产业基地实施方案,加快推动LED产业发展;听取省属国资国企改革情况的汇报,进一步把