Title :
A comparative study of specification methods for electronic commerce systems
Author :
Ehikioya, Sylvanus A. ; Ola, Bamidele
Author_Institution :
Dept of Comput. Sci., Manitoba Univ., Winnipeg, Man., Canada
Abstract :
Summary form only given. This paper presents a comparative study of five specification methods amenable to specifying electronic commerce systems. In this paper, we use the five different specification methods to specify a sample typical business-to-consumer (B2C) e-commerce scenario and compare the five specification methods using some identified evaluation criteria.
Keywords :
electronic commerce; formal specification; business-to-consumer e-commerce; electronic commerce systems; specification methods; Business; Computer science; Credit cards; Data security; Electronic commerce; Error correction; Formal specifications; Transaction databases; Unified modeling language; Web sites;
Conference_Titel :
Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on
Print_ISBN :
0-7803-8735-X
DOI :
10.1109/AICCSA.2005.1387097
