【摘 要】
：
随着Web技术和商业应用的快速发展,Web服务组合技术已成构建电子商务应用的主要方法之一。当前,为适应快速变化的商业环境,对商业应用提出了实时性的要求,即限定服务的行为必
论文部分内容阅读
随着Web技术和商业应用的快速发展,Web服务组合技术已成构建电子商务应用的主要方法之一。当前,为适应快速变化的商业环境,对商业应用提出了实时性的要求,即限定服务的行为必须满足给定的时间约束条件。文中提出了一种形式化方法,用于分析与验证Web服务组合的时间约束行为。首先,扩展了Web服务接口描述语言,增加对时间约束的描述,然后定义一种时间行为自动机,用于刻画Web服务组合的时间行为,最终利用模型验证技术来自动验证这些行为是否满足给定的时间属性。通过对股票分析应用场景以及使用UPPAAL模型验证工具,表明该
其他文献
本文论述了两种大型地面光伏电站发电性能现场检测系统在检测目的、安装方式、工作状态、工作模式等方面的差异;分析得出光伏电站在自带监控系统的基础上,有必要设计一套移动
随着社会的发展和进步,传统英语课堂教学模式越来越不能满足社会对人才培养的需求。国内外专家也一直在探索如何采用多媒体辅助教学来增强学生的跨文化意识,提高他们的跨文化
[摘 要]在全球化不断发展的今天，中西方国家在国家脱贫方面所具有的因素更加相差无几。共同特质如此多的今天，中西方对社会福利的追求是否还有其他更深层的原因呢？如果有，这些原因又会是什么。从历史的角度分析中美以扶贫实现社会福利的目的，探寻它们所特有的一些特质来揭示两种福利观之间的本质区别，对我国在不断推进扶贫工作方面具有深刻的现实价值。 [关键词]中西方;福利观;历史;扶贫 [DOI]10.139
王女士要退休了.退休无非两件事,一件是交接工作,另一件是领导请吃饭.同事们都在讨论菜价的上涨,没有人对王女士表现出依依惜别.
通过钙化焙烧法提钒废渣成分分析，探讨替代粘土质原料与电石渣、硫铁矿渣组成生料在不同配比和烧成温度下煅烧水泥熟料研究，对烧成熟料进行物理检验、X射线衍射（XRD）及电镜扫描（SE
在了解电子绩效支持系统的含义、特点的基础上，对使用电子绩效支持系统目标群体的心理特征、学习特征及其对电子绩效支持系统设计开发的影响进行分析，随后进一步分析了对电子绩
我国新公司法认可了公司具有担保能力，规范了公司为他人提供担保的程序，赋予公司董事会和股东大会对外担保的权利。体现公司法在公司治理中以公司自治为主导的立法理念。而这种
加强教员队伍建设，是现代化建设的百年大计，而抓好青年教员的培养和提高，又是教员队伍建设面临的一琐紧迫而艰巨的任务。本文从用人观念、打牢基础、打牢基础、拓宽渠道等几个方
现代企业面临着一个复杂多样、变化迅速的外部环境。在日益激烈的市场竞争中,众多的企业管理者通过探索和创新,创造出了许多新的管理观念、原则和方法,使管理世界呈现出一派
在I型函数的的基础上,定义了一类新的广义凸函数：B-（p,r,a）-I不变凸函数,研究了涉及此类函数的多目标半无限规划的Mond-Weir型对偶条件,在更弱的凸性下得到了几个对偶条件。