Research on Component Composition with Formal Semantics. - Ruzhi Xu; Quansheng Wu; Hongquan Gong; Leqiu Qian (IITSI, 2010)