【摘 要】
：
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作
论文部分内容阅读
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验
其他文献
为测量金属结构件表面的传导电流,设计了耦合面为平面结构的电流探头.根据传输线理论设计并制作了平行板传输线校准装置,以获取探头的传输阻抗曲线.使用矢量网络分析仪测量探
近年来，我县新建了大批水面在10-100亩的小型山塘水库，利用这些水面发展水产养殖，既可解决山塘水库的管护问题，又能使群众获得良好的经济效益。笔者经过几年实践。现将新建小型山
基于混合区域内子区域之间接触面的性质,提出了一种计算混合过程尺度指数和离析尺度的新方法.尺度指数可以定量表征混合过程中微团的尺度变化,反映了混合体系中微团离析尺度
9月19日MG7 AT正式上市。三款车型分别为MG7 AT舒适型、豪华型及超豪华型。三者定价为17．48万元、18．68万元与20．28万元。MG7 AT车型的推出，为HG名爵在B级车市场竞争增添一枚重要
针对移动机器人动态环境建模中动态的障碍物/目标跟踪定位问题,提出了一种采用集员滤波框架来解决动态障碍物/目标跟踪的方法.与传统的概率估计方法相比,该方法无需噪声的概率先验假设,仅要求噪声未知但有界,从而保证了方法的普遍性和实用性,且能够获得动态目标的状态或参数的不确定性偏差边界,有利于与后继路径规划和运动控制的结合,以提高机器人自身的稳定性和性能.此外,该方法对于跟踪过程中突发的传感器故障或数据丢
龙虾贵如肉，美食须惦量天气一天比一天暖和，龙虾也开始个大体壮了，家住江苏省启东市吕四镇区的陶先生想尝个鲜，他特地起了个早，驱车六七公里到乡下农贸市场去买龙虾，不想卖龙虾的摊
为了得到带常利率相依风险模型的风险度量,用概率极限理论及随机过程的方法得到了上述模型有限时破产概率的渐近估计.采用有限时破产概率的加权表达式、加权和的一致渐近性质
日前，苏州信托有限公司（下义简称苏州信托）对外公开了苏州信托的新股东名单，除控股股东苏州国际发展集团有限公司外，苏格兰皇家银行（RBS）和联想控股有限公司（联想控股）成为新公司战略
目的:探究右美托咪定联合舒芬太尼在重度颅脑损伤(STBI)围手术期的应用效果.方法:选取我院2014-08~2017-04期间收治的90例STBI患者,随机分组,各45例.单一组通过微量泵泵入右
该基地是集科研、教学和推广为一体的水产名优苗种基地，是武汉市科技局和湖北科技厅黄颡鱼项目科研基地，由武汉市科技局资助的项目《黄颡鱼规模化养殖技术研究》，2002年11月通过