Generalized decision logic based and end-user oriented service composition formal modelYuan-Sheng LuoYong Qiet al.2009Ruan Jian Xue Bao/Journal of Software