Αποστολή με SMS: Intelligent Agents: Specification, Modeling, and Application