Αποστολή με SMS: Formal aspects of object base dynamics