| This thesis presents a formal model of an electronic commerce system, what issues are involved in the design of an electronic commerce system, and how formal methods can be applied to the electronic commerce domain. Also presented is an architecture for electronic commerce as well as a formal specification of that architecture using the Unified Modeling Language (UML) and the Z specification language. A small prototype of an electronic commerce system based on the architecture is also presented. The thesis concludes by giving recommendations for future research in this field. |
