@inproceedings{13c1ccc748e44152a8440cac9bc8c707,
title = "A denotational model for web services choreography",
abstract = "In this paper, the denotational semantics for WS-CDL language dealing with web services choreography using UTP [5] technique is presented and the features related to choreographies are deeply studied. For instance, the passing channel, implicit concurrency and synchronization etc. mechanisms are explored, which brings us the insights for the design and implementation of CDL as well. Predicate space is used as the denotational model in this paper, which can facilitate us with reasoning about the behaviors of CDL programs.",
keywords = "Choreography, Denotational Semantics, WS-CDL, Web Services",
author = "Geguang Pu and Yongxin Zhao and Zheng Wang and Libo Feng and Huibiao Zhu and Jifeng He",
year = "2008",
doi = "10.1007/978-3-540-89737-8\_1",
language = "英语",
isbn = "3540897364",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "1--12",
booktitle = "Distributed Computing and Internet Technology - 5th International Conference, ICDCIT 2008, Proceedings",
note = "5th International Conference on Distributed Computing and Internet Technology, ICDCIT 2008 ; Conference date: 10-12-2008 Through 12-12-2008",
}