ΓΛΩΣΣΕΣ ΠΡΟΔΙΑΓΡΑΦΗΣ ΠΡΩΤΟΚΟΛΛΩΝ

Τμήμα : Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Τομέας : Πληροφορικής
Κωδικός : ΓΠ3990

Εξάμηνο : 8ο
Ροή : Δ : Επικοινωνίες και Δίκτυα Υπολογιστών
Κατ' επιλογήν υποχρεωτικό.
Ώρες Θεωρίας : 3
Ώρες Εργαστηρίου : 0

ΔΕΠ : Μ. Αναγνώστου, Επίκουρος Καθηγητής.
Σύγγραμμα  : Σημειώσεις - Γλώσσες Προδιαγραφών και Τυπικής Περιγραφής Πρωτοκόλλων, Μ. Αναγνώστου.

Περιεχόμενο του μαθήματος :

       Λογισμός διεργασιών: Τι είναι διεργασία. Ιχνη. Πράξεις επί των ιχνών. Ο τελεστής επιλογής. Προδιαγραφές. Συγχρονισμός. Αλλαγή συμβόλου. Τυχαία και επιλογή. Αρνήσεις και αποτυχίες μιας διεργασίας. Παρεμβολή. Απόκρυψη και προσθήκη. Αποκλίνουσα διεργασία. Επικοινωνία. Σωλήνες. Καταχωρητές. Συμπεριφορά των καταχωρητών στα πρωτόκολλα. Ακολουθιακές διεργασίες. Είδη ισοδυναμίας συστημάτων. Η γλώσσα LOTOS: Ορισμός του συστήματος μεταβάσεων. Σημασιολογία της LOTOS. Πως περιγράφονται ή προδιαγράφονται οι διεργασίες. Οι διεργασίες stop και exit. Ο τελεστής προθέματος και ο τελεστής επιλογής. Παραλληλία. Απόκρυψη. Σύνθεση κατ'ακολουθία. Τύποι δεδομένων της LOTOS. Κατηγόρημα επιλογής. Εκφράσεις με συνθήκη - πρόθεμα. Παραμετρική περιγραφή της διεργασίας. Λειτουργικότητα τερματισμού. Η γλώσσα SDL: Αφηρημένοι συντακτικοί κανόνες. Σύστημα. Τμήμα. Κανάλια και οδοί σημάτων. Περιγραφή διεργασίας. Χρονόμετρα. Λήψη σημάτων υπό συνθήκη Υπηρεσίες. Διαίρεση και ανάλυση συστήματος σε βάθος. Τύποι δεδομένων. Εξισώσεις και αξιώματα. Γέννηση διεργασίας από άλλη διεργασία.