Αποστολή με SMS: Σύνθεση υπηρεσιών ιστού με τη μέθοδο του «Planning as satisfiability»