【摘 要】
：
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,但从体系结构角度研究Web服务组合描述与验证方法,则是一个新的研究内容.基于软件体系结构
【机 构】
：
苏州大学计算机科学与技术学院,苏州215006中国科学院计算机科学国家重点实验室,北京100080暨南大学深圳旅游学院,深圳518053中国科学院计算机科学国家重点实验室,北京100080苏州大学计算
【出 处】
：
2010年全国软件与应用学术会议(NASAC2010)
论文部分内容阅读
Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,但从体系结构角度研究Web服务组合描述与验证方法,则是一个新的研究内容.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证框架.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,可采用XYZ/E的实时扩展语言即XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.
其他文献
地下煤炭的开采引起采动区道路大幅沉降。常规处理方法为直接回填土后再进行放坡，这种方法即浪费土地，经济上又不合理。双面加筋土挡墙能解决此类问题。本文以数值模拟实验为主
新疆天业(集团)有限公司充分利用资源丰富、地理位置独特等优势和国家政策的支持，按循环经济的发展理念，采用先进技术，建设大型氯碱生产基地。
介绍了ELE-9000型电化学整流调节器所采用的现场总线技术、全数字化控制技术、基于触摸屏的人机界面技术的特点和功能。该调节器应用先进的技术和工艺，大大提高了整流系统的自
研究了BCIM、TCTM、TCDM、B1-HABI和B2-HABI五种六芳基双咪唑化合物的紫外吸收性能，B1-HABI在365nm的摩尔消光系数为10540,比SBCIM和TCTM分别高38倍和28.5％，在405nm的摩尔消光系
UV-LED光固化作为UV辐照固化领域的新技术，已在众多领域广泛应用，在“高效、节能、环保”等方面已表现出卓越的性能，大功率UV-LED光源的封装应用，将会进一步弥补功率不足造成的系
建立了光引发剂907合成工艺控制中反应原料、中间体及产物的气相色谱快速分析方法。选用SE-54石英毛细管柱程序升温进行分离，FID氢火焰离子化检测器进行检测。原料苯甲硫醚、
自20世纪60年代开始，光固化技术广泛应用在涂料、油墨、胶黏剂、微电子、齿科修复和生物材料等领域，国内国外市场发展迅猛。光引发剂(photoinitiator)是光固化体系的关键组成部
数据处理流程在信息爆炸的今天应用广泛并呈现出海量和并行的特点,MapReduce编程模型的简单性和高性价比使得其适用于海量数据的并行处理,但是MapReduce不支持多数据源的数据
业务流程模型的正确性,尤其是对时间约束要求比较严格的模型,是组合服务领域的重要研究内容。模型验证是保证业务流程可信任的重要方法.近年来,BPMN被广泛接纳作为业务流程描
依据Web应用系统运行过程中产生的各层次日志数据,设计实现了在线Web应用的性能辅助诊断工具。首先给出典型的Web应用系统能够产生的多层日志数据类型以及这些日志数据中蕴含