商业流程可执行语言相关论文
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演......
NFERP项目中流程是由BPEL4WS通过对现有的Web服务,外加Web服务用户自行开发的判断逻辑Web服务进行调用而实现的。它有效的利用了已......
