Ένα σύνολο κανόνων και μορφών (σημασιολογικών και συντακτικών) που ορίζει τη συμπεριφορά επικοινωνίας οντοτήτων εφαρμογών κατά την εκτέλεση λειτουργιών εφαρμογών.