{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T09:45:59Z","timestamp":1748857559257},"reference-count":44,"publisher":"Elsevier BV","issue":"14","license":[{"start":{"date-parts":[[2002,11,1]],"date-time":"2002-11-01T00:00:00Z","timestamp":1036108800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2002,11]]},"DOI":"10.1016\/s0950-5849(02)00121-0","type":"journal-article","created":{"date-parts":[[2002,10,21]],"date-time":"2002-10-21T10:49:54Z","timestamp":1035197394000},"page":"875-889","source":"Crossref","is-referenced-by-count":2,"title":["A CSP and Z combined modeling of document exchange processes in e-commerce protocols"],"prefix":"10.1016","volume":"44","author":[{"given":"Xu","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shing-Chi","family":"Cheung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(02)00121-0_BIB1","series-title":"Proceedings of the International Conference on Mathematics of Program Construction","author":"Back","year":"1989"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB2","series-title":"Proceedings of the 10th IEEE Computer Security Foundations Workshop","author":"Bolignano","year":"1997"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB3","series-title":"Proceedings of First International Conference on Integrated Formal Methods (IFM'99)","author":"Bolton","year":"1999"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB4","unstructured":"T. Bray, J. Paoli, C.M. Sperberg-McQueen, Extensible Markup Language, March, 1998, Available at http:\/\/www.w3.org\/TR\/1998\/REX-xml-19980210."},{"key":"10.1016\/S0950-5849(02)00121-0_BIB5","doi-asserted-by":"crossref","unstructured":"D. Burdett, Internet Open Trading Protocol\u2014IOTP (version 1.0), April, 2000, Available as IETF RFC 2801 at http:\/\/www.ietf.org\/rfc\/rfc2801.txt.","DOI":"10.17487\/rfc2801"},{"issue":"5\u20136","key":"10.1016\/S0950-5849(02)00121-0_BIB6","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1016\/0920-5489(95)00024-O","article-title":"Object-Z: a specification language advocated for the description of standards","volume":"17","author":"Duke","year":"1995","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB7","series-title":"Proceedings of the Formal Methods for Open Object-based Distributed Systems (FMOODS'97)","volume":"vol. 2","author":"Fischer","year":"1997"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB8","series-title":"Proceedings of the First International Conference on Integrated Formal Methods (IFM'99)","author":"Fischer","year":"1999"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB9","unstructured":"Formal Systems (Europe) Ltd, Failures-Divergence Refinement\u2014FDR2 User Manual (fifth ed.), May, 2000, Available at ftp:\/\/ftp.comlab.ox.ac.uk\/pub\/Packages\/FDR."},{"issue":"3","key":"10.1016\/S0950-5849(02)00121-0_BIB10","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1145\/295685.295720","article-title":"An XML framework for agent-based e-commerce","volume":"42","author":"Glushko","year":"1999","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB11","series-title":"Proceedings of the 10th International Workshop on Database and Expert Systems Applications (DEXA'99)","author":"Gurgens","year":"1999"},{"issue":"2","key":"10.1016\/S0950-5849(02)00121-0_BIB12","doi-asserted-by":"crossref","DOI":"10.1109\/52.506463","article-title":"Using formal methods to develop an ATC information system","volume":"13","author":"Hall","year":"1996","journal-title":"IEEE Software"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB13","first-page":"147","article-title":"Model checking electronic commerce protocols","author":"Heintze","year":"1996","journal-title":"Proceedings of the Second USENIX Workshop on Electronic Commerce"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB14","series-title":"Proceedings of the 10th International Conference of Z Users Proceedings (ZUM'97)","author":"Helke","year":"1997"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB15","series-title":"Proceedings of the Fourth International Symposium of VDM Europe (VDM'91)","author":"Houston","year":"1991"},{"issue":"5","key":"10.1016\/S0950-5849(02)00121-0_BIB16","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1109\/32.502224","article-title":"Accountability in electronic commerce protocols","volume":"22","author":"Kailar","year":"1996","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0950-5849(02)00121-0_BIB17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/10864415.1998.11518332","article-title":"Formal language for business communication: sketch of a basic theory","volume":"3","author":"Kimbrough","year":"1998","journal-title":"International Journal of Electronic Commerce"},{"issue":"4","key":"10.1016\/S0950-5849(02)00121-0_BIB18","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1080\/10864415.1997.11518293","article-title":"Formal aspects of electronic commerce: research issues and challenges","volume":"1","author":"Kimbrough","year":"1997","journal-title":"International Journal of Electronic Commerce"},{"issue":"8","key":"10.1016\/S0950-5849(02)00121-0_BIB19","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1109\/32.879807","article-title":"Is proof more cost-effective than testing?","volume":"26","author":"King","year":"2000","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"9","key":"10.1016\/S0950-5849(02)00121-0_BIB20","first-page":"963","article-title":"Automated test case generation from Z specification","volume":"22","author":"Lan","year":"1999","journal-title":"Chinese Journal of Computers"},{"issue":"2","key":"10.1016\/S0950-5849(02)00121-0_BIB21","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1080\/10864415.1998.11518336","article-title":"Distributed electronic trade scenarios: representation, design, prototyping","volume":"3","author":"Lee","year":"1998","journal-title":"International Journal of Electronic Commerce"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB22","first-page":"53","article-title":"Verifying cryptographic protocols for electronic commerce","author":"Lichota","year":"1996","journal-title":"Proceedings of Second USENIX Workshop on Electronic Commerce"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB23","series-title":"Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'99)","author":"Lu","year":"1999"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB24","unstructured":"MasterCard, VISA, Secure Electronic Transactions Specification (version 1.0), May 1997, Available at http:\/\/www.visa.com\/set\/."},{"key":"10.1016\/S0950-5849(02)00121-0_BIB25","series-title":"Proceedings of the Second International Conference on Financial Cryptography (FC'98)","author":"Meadows","year":"1998"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB26","series-title":"Proceedings of First International Conference of B and Z Users (ZB2000)","author":"Miarka","year":"2000"},{"issue":"1","key":"10.1016\/S0950-5849(02)00121-0_BIB27","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/S0167-6423(00)00023-X","article-title":"Model-checking CSP\u2013Z: strategy, tool support and industrial application","volume":"40","author":"Mota","year":"2001","journal-title":"Science of Computer Programming"},{"issue":"1","key":"10.1016\/S0950-5849(02)00121-0_BIB28","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF01887199","article-title":"The RAISE language, method and tools","volume":"1","author":"Nielsen","year":"1989","journal-title":"Formal Aspects of Computing"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB29","series-title":"Seminar on Concurrency","first-page":"306","article-title":"Denotational semantics for OCCAM","author":"Roscoe","year":"1985"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB30","series-title":"A Classical Mind: Essays in Honour of C.A.R. Hoare","author":"Roscoe","year":"1994"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB31","series-title":"Proceedings of Ninth IEEE Computer Security Foundations Workshop","author":"Roscoe","year":"1996"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB32","series-title":"The Theory and Practice of Concurrency","author":"Roscoe","year":"1998"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB33","series-title":"Proceedings of the Third European Symposium on Research in Computer Security (ESORICS'94)","author":"Roscoe","year":"1994"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB34","series-title":"Proceedings of the 1995 IEEE Computer Communications Conference","author":"Sirbu","year":"1995"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB35","series-title":"Proceedings of the Fourth International Symposium of Formal Methods Europe (FME'97)","author":"Smith","year":"1997"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB36","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1992"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB37","series-title":"Computer Networks","author":"Tanenbaum","year":"1996"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB38","series-title":"Proceedings of the 16th International Conference on Distributed Computing Systems","author":"Tang","year":"1996"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB39","unstructured":"UN\/CEFACT and OASIS, Electronic Business using eXtensible Markup Language, http:\/\/www.ebxml.org."},{"key":"10.1016\/S0950-5849(02)00121-0_BIB40","unstructured":"X. Wang, A CSP and Z formal specification of Internet Open Trading Protocol, Technical Report (HKUST-CS02-03), Department of Computer Science, Hong Kong University of Science and Technology, 2002."},{"key":"10.1016\/S0950-5849(02)00121-0_BIB41","series-title":"Proceedings of the Second Asia-Pacific Conference on Quality Software (APAQS 2001)","author":"Wang","year":"2001"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB42","unstructured":"X. Wang, S.C. Cheung, J. Wei, Merging data flow with control flow: a closer semantic integration of Z and CSP, Technical Report (HKUST-CS01-09), Department of Computer Science, Hong Kong University of Science and Technology, 2001."},{"key":"10.1016\/S0950-5849(02)00121-0_BIB43","series-title":"Using Z. Specification, Refinement, and Proof","author":"Woodcock","year":"1995"},{"key":"10.1016\/S0950-5849(02)00121-0_BIB44","series-title":"Proceedings of the Ninth IEEE Computer Security Foundations Workshop","author":"Zaba","year":"1996"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001210?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001210?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,9]],"date-time":"2019-04-09T08:56:27Z","timestamp":1554800187000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584902001210"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,11]]},"references-count":44,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2002,11]]}},"alternative-id":["S0950584902001210"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(02)00121-0","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2002,11]]}}}