BPEL流程的状态与形式化定义---第一部分：属性与相关集

07年底将一篇关于BPEL的文章投到ICSE上，结果是被无情的拒绝了 ， 虽然是意料中事，但是还是有一些失望。老外认为研究的选题还是interesting的，但是在形式化部分还有很大的欠缺。最近下定决心，要将BPEL的 本质重新深挖一下，总结出一个明确无二义性的定义，希望大家能够踊跃发言与讨论，共同进步。我准备分专题讨论，今天是第一篇，主要讨论BPEL流程中的属 性（property）与相关集（Correlation Set)

1.属性（property）与相关集（Correlation Set）的基本概念总结

1.1 属性（property）与属性别名（property alias）

属性的定义会创建一个流程定义中（全局范围）唯一的名称（scope中不允许定义属性），并将其关联到一个XML Schema的类型中。其动机是创建一个比类型本身更有意义的名称（类似程序设计语言中的