Title: | a csp and z combined modeling of document exchange processes in e-commerce protocols |
Author: | Wang X
; Cheung SC
; Wei J
|
Conference Name: | 2nd Asia-Pacific Conference on Quality Software
|
Conference Date: | DEC 10-11,
|
Issued Date: | 2002
|
Conference Place: | HONG KONG, PEOPLES R CHINA
|
Keyword: | formal specification
; e-commerce protocols
; Internet Open Trading Protocol
; CSP
; Z
; document exchange process
|
Publisher: | INFORMATION AND SOFTWARE TECHNOLOGY
|
Publish Place: | PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS
|
Indexed Type: | sci
; istp
; sciencedirect
|
ISSN: | 0950-5849
|
Department: | Univ Oxford, Comp Lab, Oxford OX1 3QD, England. Hong Kong Univ Sci & Technol, Dept Comp Sci, Kowloon, Hong Kong, Peoples R China. Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100080, Peoples R China.
|
Sponsorship: | City Univ Hong Kong, Dept Comp Sci, Ctr Software Engn, Sch Informat Technol, Swinburn Univ Technol, Informat Technol Serv Dept, Govt Hong Kong, British Comp Soc, Hong Kong Sect, Hong Kong Comp Soc, Hong Kong Inst Engineers Informat Technol Div
|
English Abstract: | E-commerce protocols comprise a vital component of the trading infrastructure over the Internet. Effectiveness and reliability of trading transactions likely depend on the quality of such protocols. However, building a quality c-commerce proto |
Language: | 英语
|
Content Type: | 会议论文
|
URI: | http://ir.iscas.ac.cn/handle/311060/13422
|
Appears in Collections: | 软件所图书馆_会议论文
|
There are no files associated with this item.
|
Recommended Citation: |
Wang X,Cheung SC,Wei J. a csp and z combined modeling of document exchange processes in e-commerce protocols[C]. 见:2nd Asia-Pacific Conference on Quality Software. HONG KONG, PEOPLES R CHINA. DEC 10-11,.
|
|
|