Text this: Εξομοίωση κατανεμημένων συστημάτων από τίς τυπικές προδιαγραφές τους