XChorChoreography Language for Integration of Variable Orchestration Specifications

In this paper, we propose and develop a new choreography language XChor which can be used to support variability in choreography specifications and integrate these with variability of orchestration specifications. We describe the metamodel of XChor and illustrate the adoption of the language by specifying user verification choreography in the adaptable security system. Orchestration and choreography models are mechanisms to realize service composition and coordination while some of them support variation to deal with reuse challenge. Several approaches have been introduced to support variability in orchestration and choreography languages. Unfortunately, variability is not explicitly addressed in current choreography languages. As such, it is hard to provide a consistent configuration of service composition within and across business organizations.