Sciweavers

Share
WWW
2007
ACM

Towards the theoretical foundation of choreography

9 years 11 months ago
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,...
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2007
Where WWW
Authors Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
Comments (0)
books