Title :
On the modelling of document exchange processes in e-commerce protocols
Author :
Wang, Xu ; Cheung, Shing-Chi ; Wei, Jun
Author_Institution :
Dept. of Comput. Sci., Hong Kong Univ. of Sci. & Technol., Kowloon, China
Abstract :
The 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 protocols: 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
Keywords :
Internet; communicating sequential processes; electronic commerce; electronic data interchange; formal verification; hypermedia markup languages; protocols; specification languages; CSP; IOTP; Internet Open Trading Protocol; Internet retailing protocol; XML document exchange processes; Z formalism; behavior aspects; combined language; document exchange process modelling; e-commerce protocols; formal modelling; practical application; Application software; Business; Computer science; Cryptographic protocols; Cryptography; Electronic commerce; Internet; Natural languages; Software engineering; XML;
Conference_Titel :
Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-1287-9
DOI :
10.1109/APAQS.2001.990044
