Behavior Alignment and Control Flow Verification of Process and Service Choreographies

摘要

The representation of process and service choreographies has been recognized as an important requirement in service-oriented methodologies. The guarantee of alignment between process and service choreographies and the verification of the behavior of chore