07年底将一篇关于BPEL的文章投到ICSE上,结果是被无情的拒绝了 , 虽然是意料中事,但是还是有一些失望。老外认为研究的选题还是interesting的,但是在形式化部分还有很大的欠缺。最近下定决心,要将BPEL的 本质重新深挖一下,总结出一个明确无二义性的定义,希望大家能够踊跃发言与讨论,共同进步。我准备分专题讨论,今天是第一篇,主要讨论BPEL流程中的属 性(property)与相关集(Correlation Set)
1.属性(property)与相关集(Correlation Set)的基本概念总结
1.1 属性(property)与属性别名(property alias)
属性的定义会创建一个流程定义中(全局范围)唯一的名称(scope中不允许定义属性),并将其关联到一个XML Schema的类型中。其动机是创建一个比类型本身更有意义的名称(类似程序设计语言中的