6FEI Yu-kui, WANG Zhi-Jian. A concept model of Web compo-nents [C]// Proceedings of 2004 IEEE International Conferenceon Services Computing. [S.l.]: IEEE, 2004: 464-475.
7LILIUS J, PALTOR I. A tool for verifying UML models [C]//Proc. of the 14th Int. Conference on Automated Sotfware Engi-neering. [S.l.]: IEEE Computer Society Press, 1999: 255-258.
