Πρόλογος Κεφ.1 Βασικές έννοιες της SDL Κεφ.2 Η SDL ως αντικειμενοστρεφής γλώσσα... 35

Transcript

1 Περιεχόμενα Πρόλογος Κεφ.1 Βασικές έννοιες της SDL Εισαγωγή Διεργασίες και τύποι διεργασιών Ορισμός συμπεριφοράς: καταστάσεις και μεταβάσεις Μεταβλητές Διαδικασίες Επικοινωνία μέσω ανταλλαγής σημάτων Ομαδοποίηση των συνόλων διεργασιών με μπλοκ Οι διεργασίες ως τμήματα συνόλων διεργασίας Τα σύνολα διεργασίας συνδέονται με τις διαδρομές σημάτων Τοπικοί ορισμοί στα μπλοκ Τα μπλοκ ως τμήμα άλλων μπλοκ Τύποι, σύνολα και στιγμιότυπα Συστήματα: σύνολο από μπλοκ που συνδέονται με κανάλια Πακέτα: Συλλογές συναφών τύπων και ορισμών Υποτύποι Σύνθεση της συμπεριφοράς διεργασιών με χρήση υπηρεσιών Ορίζοντας τις ιδιότητες των μεταβλητών: τύποι δεδομένων Κεφ.2 Η SDL ως αντικειμενοστρεφής γλώσσα Εισαγωγή Αντικείμενα Διεργασία Υπηρεσία Μπλοκ Σύστημα Μεταβλητή Ιδιότητες Μέθοδοι... 39

2 4 Σχεδιασμός συστημάτων με τη γλώσσα SDL Διαδικασίες Συναρτήσεις (διαδικασίες που επιστρέφουν τιμή) Εικονικές διαδικασίες/συναρτήσεις Kαθολικά ορισμένες διαδικασίες Απομακρυσμένες διαδικασίες Συμπεριφορά Ορισμός συμπεριφοράς διεργασίας με Μηχανή Πεπερασμένης Κατάστασης Ορισμός συμπεριφοράς διεργασίας με σύνθεση υπηρεσιών Αλληλεπίδραση αντικειμένων Ανταλλάσσοντας σήματα Καλώντας απομακρυσμένες διαδικασίες Πύλες Κλάση Τύπος διεργασίας Τύπος υπηρεσιών Τύπος μπλοκ Τύπος συστημάτων Αφηρημένος τύπος δεδομένων Υποκλάση/κληρονομικότητα Κληρονομικότητα Προσθέτοντας ιδιότητες Επανορίζοντας εικονικούς τύπους Κληρονομικότητα συμπεριφοράς Βιβλιοθήκες κλάσεων Ενσωμάτωση/σχέση τμήματος-συνόλου Τοπικότητα των ορισμών Παραμετρικές κλάσεις Εικονικές κλάσεις/τύποι Η αντικειμενοστρεφής προσέγγιση πίσω από την SDL Κεφ.3 Η SDL μέσω παραδείγματος Εισαγωγή Εισαγωγή στο παράδειγμα Διάγραμμα συστήματος για Σύστημα Ελέγχου Πρόσβασης (Access Control System)... 57

3 Περιεχόμενα Σύστημα Περιβάλλον Μπλοκ Σύνολα μπλοκ Κανάλια Πρόταση αναφοράς πακέτου Το διάγραμμα πακέτου SignalLib Ορισμός πακέτου Ορισμός σήματος Λίστες σημάτων Σύμβολα κειμένου Το διάγραμμα πακέτου AccessPointLib Το διάγραμμα τύπου μπλοκ AccessPoint Τύπος μπλοκ Κεφαλίδα (τύπου) μπλοκ Διεργασία (αναφορά) Σύνολο διεργασιών Πλήθος στιγμιοτύπων Διαδρομή σημάτων Τύπος διεργασίας Εικονικός τύπος διεργασίας Πύλη Το διάγραμμα τύπου μπλοκ BlockingAccessPoint Επαναπροσδιορισμένος τύπος διεργασίας Οντότητες με διακεκομμένη γραμμή Το διάγραμμα τύπου μπλοκ LoggingAccessPoint Διάγραμμα τύπου διεργασίας Controller Διάγραμμα τύπου διεργασίας Κεφαλίδα τύπου διεργασίας Μεταβλητές μέσα σε διεργασίες Αναφορά διαδικασίας Έναρξη Μετάβαση Κατάσταση Είσοδος Εικονική μετάβαση (εισόδου)... 79

4 6 Σχεδιασμός συστημάτων με τη γλώσσα SDL Εργασία Χρονόμετρα Έξοδος Κλήση διαδικασίας Διάγραμμα τύπου διεργασίας: Επαναπροσδιορισμένος Controller στο BlockingAccessPoint Αποθήκευση Κατάσταση με αστερίσκο Διάγραμμα τύπου διεργασίας: Oριστικοποιημένος Controller στην LoggingAccessPoint Διάγραμμα διεργασίας: Ορισμός της διεργασίας Panel με χρήση υπηρεσιών Διάγραμμα διεργασίας Κεφαλίδα διεργασίας Τυπικές παράμετροι Χρήση υπηρεσιών Το διάγραμμα της υπηρεσίας PanelControl Μεταβλητές μέσα σε υπηρεσίες Κλήση διαδικασίας με παραμέτρους Το διάγραμμα της διαδικασίας GetPIN Διαδικασία Τοπικές μεταβλητές Έναρξη διαδικασίας Επιστροφή από τη διαδικασία Απομακρυσμένες διαδικασίες Το διάγραμμα μπλοκ CentralUnit Δημιουργία διεργασίας Ενέργεια δημιουργίας Κεφ.4 Διαγράμματα ακολουθίας μηνυμάτων Εισαγωγή Βασικές έννοιες των MSCs Αναφορές MSC Έγγραφα MSC Περιοριστικές συνθήκες HMSCs και απλά MSCs... 99

5 Περιεχόμενα Εκφράσεις αναφοράς Ενσωματωμένες εκφράσεις Αναπαραγωγή πυλών Εξαιρέσεις και επιλογές Tελεστές MSC Εναλλακτική Παράλληλη συγχώνευση Βρόχος Ακολουθία Γενική διάταξη Γενική διάταξη μεταξύ γεγονότων σε διαφορετικά στιγμιότυπα Γενική διάταξη μεταξύ γεγονότων στο ίδιο στιγμιότυπο Γενική σειρά μεταξύ γεγονότων σε διαφορετικά MSCs Πύλες Ενσωματωμένες εκφράσεις πυλών Ελλιπή μηνύματα Αντικατάσταση Αντικατάσταση ονομάτων σε MSC: ένας τρόπος προσομοίωσης της αντικειμενοστρέφειας Η αντικατάσταση διαδίδεται μέσω αναφορών σε MSC Οι περιορισμοί της αντικατάστασης Παράρτημα Α Ζ.100: Οι βασικοί ορισμοί της SDL A.1 Αναφορά διαδικασίας Α.2 Αναφορά τύπου μπλοκ Α.3 Αναφορά διεργασίας Α.4 Αναφορά υπηρεσίας Α.5 Αποθήκευση Α.6 Απομακρυσμένες διαδικασίες Α.7 Απόφαση Α.8 Αρίθμηση σελίδων Α.9 Δημιουργία Α.10 Διάγραμμα διεργασίας Α.11 Διάγραμμα τύπου μπλοκ Α.12 Διάγραμμα τύπου διεργασίας

6 8 Σχεδιασμός συστημάτων με τη γλώσσα SDL Α.13 Διαδικασία Α.14 Διαδρομή σήματος Α.15 Διακεκομμένη οντότητα Α.16 Διεργασία Α.17 Εικονική μετάβαση (εισόδου) Α.18 Εικονικός τύπος διεργασίας Α.19 Εικονικότητα Α.20 Είσοδος Α.21 Έναρξη Α.22 Εξειδίκευση Α.23 Έξοδος Α.24 Επαναπροσδιορισμένος τύπος διεργασίας Α.25 Επιστροφή Α.26 Εργασία Α.27 Κανάλι Α.28 Κατάσταση Α.29 Κατάσταση αστερίσκου Α.30 Κεφαλίδα διαδικασίας Α.31 Κεφαλίδα (τύπου) διεργασίας Α.32 Κεφαλίδα (τύπου) μπλοκ Α.33 Κεφαλίδα (τύπου) συστήματος Α.34 Κεφαλίδα (τύπου) υπηρεσίας Α.35 Κεφαλίδα διαγράμματος Α.36 Κλήση διαδικασίας Α.37 Λίστα σημάτων Α.38 Μετάβαση Α.39 Μονάδες εμβέλειας Α.40 Μπλοκ Α.41 Ορισμός μεταβλητών Α.42 Ορισμός σημάτων Α.43 Οριστική είσοδος Α.44 Οριστικός τύπος διεργασίας Α.45 Πακέτο Α.46 Περιβάλλον Α.47 Περιορισμός εικονικότητας Α.48 Προσδιοριστής

7 Περιεχόμενα 9 Α.49 Πρόταση αναφοράς πακέτου Α.50 Πύλη Α.51 Σύμβολο κειμένου Α.52 Σύνολο μπλοκ Α.53 Σύνολο διεργασίας Α.54 Σύστημα Α.55 Τοπικές μεταβλητές Α.56 Τύπος διεργασίας Α.57 Τύπος μπλοκ Α.58 Υπηρεσία Α.59 Χρονόμετρο Παράρτημα Β Ζ.120: Οι βασικοί ορισμοί των MSCs B.1 Αναφορά MSC B.2 Βρόχος (HMSC) B.3 Γεγονός εισόδου B.4 Γεγονός εξόδου B.5 Διάγραμμα MSC B.6 Έκφραση αναφοράς B.7 Ελλιπή μηνύματα B.8 Εναλλακτική B.9 Έναρξη HMSC B.10 Κεφαλίδα του MSC B.11 Περιβάλλον Β.12 Πραγματική πύλη Β.13 Σημείο σύνδεσης Β.14 Στιγμιότυπο Β.15 Συνθήκη Β.16 Σχέση γενικής διάταξης Β.17 Τελεστής Βιβλιογραφία...159

8