Modeling Service Choreographies with Rule-enhanced Business Processes
Rule-enhanced Business Process Modeling Language for Service Choreographies
Realizabilityof Interaction Models