【摘 要】
：
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作
论文部分内容阅读
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验
其他文献
为测量金属结构件表面的传导电流,设计了耦合面为平面结构的电流探头.根据传输线理论设计并制作了平行板传输线校准装置,以获取探头的传输阻抗曲线.使用矢量网络分析仪测量探
基于混合区域内子区域之间接触面的性质,提出了一种计算混合过程尺度指数和离析尺度的新方法.尺度指数可以定量表征混合过程中微团的尺度变化,反映了混合体系中微团离析尺度
针对移动机器人动态环境建模中动态的障碍物/目标跟踪定位问题,提出了一种采用集员滤波框架来解决动态障碍物/目标跟踪的方法.与传统的概率估计方法相比,该方法无需噪声的概率先验假设,仅要求噪声未知但有界,从而保证了方法的普遍性和实用性,且能够获得动态目标的状态或参数的不确定性偏差边界,有利于与后继路径规划和运动控制的结合,以提高机器人自身的稳定性和性能.此外,该方法对于跟踪过程中突发的传感器故障或数据丢
为了得到带常利率相依风险模型的风险度量,用概率极限理论及随机过程的方法得到了上述模型有限时破产概率的渐近估计.采用有限时破产概率的加权表达式、加权和的一致渐近性质