论文部分内容阅读
提出了一种基于有限状态自动机的Web服务自动组合方法，该方法能够自动实现BPEL中抽象业务流程与Web服务的绑定．以有限状态自动机模型形式化地定义了业务流程的外模式和内模式，将Web服务组合问题转化为有限状态自动机问题．利用有限状态自动机的笛卡儿积运算，得出了服务组合系统的行为描述．在此基础上，提出了组合服务存在性的判定依据，进一步给出了组合服务的计算方法，设计并实现了一个演示系统．