BPEL4People相关论文
BPEL描述的服务组合流程,没有充分考虑人的参与和人员活动对流程的影响,且不能保证服务组合流程设计在应用中的正确性.为了描述服......
为了形式化地定义BPEL和BPEL4People的语义，提出了一个π演算的变种——πit演算。相对于传统的π演算，πit演算可以描述中断事件和......
