发送短信 : Formalizing knowledge domains and static and dynamic Aspects /