Αποστολή με SMS: Graph Transformation, Specifications, and Nets