Choreography Revisited?

Abstract. A choreography models interoperation among multiple participants in a distributed environment. Existing choreography specification languages focus mostly on message sequences and are weak in modeling data shared by partici-pants and used in sequence constraints. They further assume a fixed number of participants and make no distinction between participant types and participant instances. Artifact-centric business process models give equal considerations on modeling data and on control flow of activities. These models provide a solid foundation for choreography specification. Through a detailed exploration of an example, this paper introduces a choreography language for artifacts that is able to specify data conditions and the instance-level correlations among participants.