Asia-Pacific Conference on Quality Software (2001)
Dec. 10, 2001 to Dec. 11, 2001
X. Wang , Hong Kong University of Science and Technology
S.-C. Cheung , Hong Kong University of Science and Technology
J. Wei , Hong Kong University of Science and Technology
This paper presents an approach to modelling e- commerce protocols in a combined language of CSP and Z. It is illustrated by a practical application on one of the most important Internet retailing protocol, Internet Open Trading Protocol (IOTP). Compared to related works in formal modelling and analysis of e-commerce protocols, our approach concentrates more on realistically capturing the XML document exchange processes of the protocols, which we believe is central to most e-commerce protocols. For this purpose we adopt a combination of CSP and Z formalism with new extensions, which finally proves to be expressive in describing both the data and the behavior aspects of the document exchange process.
J. Wei, X. Wang and S. Cheung, "On the Modelling of Document Exchange Processes in E-Commerce Protocols," Asia-Pacific Conference on Quality Software(APAQS), Hong Kong, 2001, pp. 0387.