a csp and z combined modeling of document exchange processes in     e-commerce protocols

ISCAS OpenIR

	a csp and z combined modeling of document exchange processes in e-commerce protocols
	Wang X; Cheung SC; Wei J
	2002
会议名称	2nd Asia-Pacific Conference on Quality Software
页码	875-889
会议日期	DEC 10-11,
会议地点	HONG KONG, PEOPLES R CHINA
收录类别	sci ; istp ; sciencedirect
出版地	PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS
出版者	INFORMATION AND SOFTWARE TECHNOLOGY
ISSN	0950-5849
部门归属	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.
摘要	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
关键词	Formal Specification E-commerce Protocols Internet Open Trading Protocol Csp z Document Exchange Process
主办者	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
语种	英语
内容类型	会议论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13422
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Wang X,Cheung SC,Wei J. a csp and z combined modeling of document exchange processes in e-commerce protocols[C]. PO BOX 211, 1000 AE AMSTERDAM, NETHERLANDS:INFORMATION AND SOFTWARE TECHNOLOGY,2002:875-889.