Towards the theoretical foundation of choreography

With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a common business goal from a global viewpoint. In this paper, based on a simple choreography language and a roleoriented process language, we study some fundamental issues related to choreography, especially those related to implementation, including semantics, projection and natural projection, dominant role in choices and iterations, etc. We propose the concept of dominant role and some novel languages structures related to it. The study reveals some clues about the language, the semantics, the specification and the implementation of choreography. Categories and Subject Descriptors H.3.5 [Info. Sys.]: Misc.--Web-based services; D.2.1 [Soft.]: SE--Specifications; D.3.1 [Prog. Language]: Formal Definitions and Theory--Semantics General Terms Design, Languages, Theory, Verification Keywords Choreography, Semantics,...

• Type: Conference
• Year: 2007
• Where: WWW
• Authors: Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
• Keywords: Dominant Role, Internet Technology, Simple Choreography Language, Verification Keywords Choreography, WWW 2007