论文部分内容阅读
定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。
基于行为描述的Web服务组合兼容性检查
【摘 要】
：
定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。
【机 构】
：
江西财经大学软件学院
【出 处】
：
计算机应用研究
【发表日期】
：
2009年07期
【基金项目】
：
江西省自然科学基金资助项目（2008GZS0017）
其他文献
莲花山数据集采用与或图作为视觉知识模型,实现对客观世界中视觉模式的多层次表达,从而将多种标注任务统一到图像语法模型框架下。配套数据库通过两层模型分别管理视觉模型与标注数据,提供了灵活方便的数据导入、管理、查阅、输出功能,这是其他数据集所不具备的。最后给出基于该数据集标注结果的内容检索实验,该算法加入到标注工具中,作为一种自动功能用于辅助加速人工标注过程。
1临床资料 本组忠儿共274例，随机分为两组，治疗组137例，其中男79例，女58例；年龄4个月～3岁者46例，4～6岁者70例，7～12岁者21例；对照组137例，其中男77例，女60例；年龄4个月～3岁者38例，4～6岁者72例，7～1
目的：观察五味牵牛胶囊的利尿作用并探讨其可能的作用机制。方法：采用im睾丸酮和前列腺注射消痔灵方法将SD大鼠分别造成前列腺增生和慢性非细菌性前列腺炎模型，60只大鼠随机分成
提出了一种基于LPP和LDA的降维算法。该算法不仅考虑了LPP能保持局部邻近关系属性,还考虑了LDA能使降维后的数据更易于分类属性,并且该算法是线性的,很容易将新样本映射到目标空间。在人脸识别中的实验验证了算法的正确性和有效性。
目的：比较紫皮、白皮大蒜粗提物不同剂量、不同给药途径对小鼠凝血时间的影响，为临床合理用药提供实验依据。方法：采用毛细玻管法测定小鼠凝血时间。结果：灌服高剂量紫皮、白皮大
目的：观察自制肾炎清片糖皮质激素不良反应的作用。方法：病人进行随机分组，观察组除了正规糖皮质激素治疗外，给予我院自制肾炎清片。对照组不予特殊治疗。两个月进行糖皮质激素不
提出了一种自适应的V-BLASTOFDM系统,并提出了一种有记忆的可变步长的自适应分配算法。与传统的算法相比,加快了算法的收敛速度。仿真结果表明,该系统与无自适应比特功率分配的系统相比,性能有显著提高。
提出了基于扩展有限状态机的故障检测模型和检测算法。该模型对软件中的故障进行了形式化定义和描述,检测算法对故障模型中的状态变迁进行缩减,检测故障模型的部分状态变迁,进而可以有效缓解状态空间过大而引起的时间和空间效率问题,从而最大限度地发现被测系统中的故障;最后给出了一个简单协议来加以分析和验证。实验表明,该算法可以快速准确地定位软件中故障发生的位置。