BPEL建模相关论文
随着计算机技术的深入发展和计算机软件在生产生活中的广泛应用,软件的正确性验证成了人们关心的重要问题。而模型检查作为一种软......
面向服务体系构架SOA作为整合已有不同系统的一种构架被提出来,主要是解决企业中信息孤岛问题。BPEL是业务流程执行语言用来描述SO......