發送短信 : Modeling of cloud system using Erlang formulas