Yujian Fu Zhijiang Dong Xudong He Formalizing and validating UML architecture description of web systems. 8 2006 ICWE Workshops http://doi.acm.org/10.1145/1149993.1150002 conf/icwe/2006w db/conf/icwe/icwe2006w.html#FuDH06a