L.  Han, ?Application of the methodology combined formal method with Object-Oriented technology in E-commerce?, Journal of Computer Engineering, vol. 29, no. z1, p.  65~67 , 2002.