【摘 要】
：
针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网（CPN）形式化地描述BPEL的异常处理
【机 构】
：
武汉大学软件工程国家重点实验室,武汉工业学院网络中心,第二炮兵指挥学院三系
【基金项目】
：
国家自然科学基金项目（61070012,61070022）,国家自然科学基金重点项目（91118003）资助
论文部分内容阅读
针对WS-BPEL在面向服务软件异常处理方面不够完善的问题,提出了一种基于着色Petri网描述的BPEL异常处理逻辑开发方法。该方法利用着色Petri网（CPN）形式化地描述BPEL的异常处理机制,建立BPEL的异常处理CPN模型,指导对BPEL的异常处理逻辑开发,并依据此建模思想,提出了一个BPEL的异常处理CPN模型的转换工具,用以实现将异常处理的BPEL着色Petri网模型转换成对应的带异常处理的BPEL代码。该工具可在输入的原始的没有异常处理功能的BPEL代码基础上,通过动态地添加BPEL的异常处
其他文献
橡毯预缩机是纺织品，特别是纯棉织物后整理工序必不可少的设备之一，预缩机性能的好坏，直接决定着所加工织物的定型效果和外观效果，在实际生产中，织物进入预缩机前的湿度状况对上述
通过将Orthodir（m）算法的两个向量内积改成几个连续内积,改变算法数据相关性,提出了改进的Orthodir（m）算法（IOrthodir（m）算法）。改进的算法具有与原算法相同的收敛性。理论分析表明,
结点的移动性、传递信息的随机性和无链路连接传递是机会网络的一些信息传递的重要特征,而这些特征与人类社会中人类传递信息的过程极为相似。传统的机会网络算法用于社会网
为了解决目前行人检测技术的检测速度和准确性之间的平衡问题,对基于视频的行人检测技术进行了研究,提出了利用LUV颜色空间信息与C4行人检测算法相结合的视频自动行人检测方法(LUVC4)。首先利用C4行人检测算法快速遍历视频的每帧图像,当得到的窗口置信度在可疑区间时,再进一步对该窗口做LUV颜色空间检测。如果两次检测的加权和分数满足阈值,则判别为行人。通过大量实验表明,该方法在检测速度几乎能达到C4速
环境污染严重影响生态，对人类形成毒害，正威胁着人们的身心健康，保护环境已成为全人类的共识，印染厂导致环境污染的主要因素很多，人们要设法治理或者减少污染，在生产中要时刻注意保