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

fYear

2001

fDate

2001

Firstpage

387

Lastpage

396

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on

Conference_Location

Hong Kong

Print_ISBN

0-7695-1287-9

Type

conf

DOI

10.1109/APAQS.2001.990044

Filename

990044