发送短信: A model of software component interactions using the call graph technique