Ποιο είναι το αντικείμενο αυτού του μαθήματος
Το μάθημα αυτό είναι ένα μάθημα εισαγωγής στη χρήση αυστηρών (formal) μεθόδων στο σχεδιασμό συστημάτων, τα οποία βρίσκονται στην ευρύτερη περιοχή των τηλεπικοινωνιών και των δικτύων. Με δεδομένη τη σύγκλιση των τεχνολογιών των τηλεπικοινωνιών και της πληροφορικής η μελέτη των κατανεμημένων συστημάτων με αυστηρές μεθόδους και η μελέτη των συστημάτων λογισμικού με αυστηρές μεθόδους αναγκαστικά συγκλίνουν. Παρ' όλα αυτά το μάθημα αυτό διατηρεί την καταγωγή και την έμφαση στην περιοχή των τηλεπικοινωνιών, αλλά ταυτόχρονα προσπαθεί να καλύψει τις νεότερες ανάγκες που δημιουργούν οι υπηρεσίες και εφαρμογές πάνω από τα σύγχρονα δίκτυα.
Πότε γίνεται το μάθημα
Η θεωρία γίνεται κάθε Τρίτη, ώρα 13:45-14:30 & 14:45-15:30, στην αίθ. 002 του Νέου Κτηρίου Ηλεκτρολόγων (ισόγειο).
Εργαστήριο
Το πρόγραμμα εργαστηρίου θα ανακοινωθεί αργότερα. Θα πραγματοποιηθούν τρία εργαστηριακά 4/5-ωρα για τη χρήση της γλώσσας UML μετά τη διδασκαλία της στην ώρα της θεωρίας.
Τι περιλαμβάνει το μάθημα στο εαρινό εξάμηνο 2012
Υπηρεσίες: Ο κόσμος των υπηρεσιών στη νέα εποχή των τηλεπικοινωνιών. Από τα εξειδικευμένα δίκτυα του παρελθόντος στην ουτοπία των δικτύων ενοποιημένων υπηρεσιών και στη σημερινή πολυμορφία δικτύων. Από την παλιά καλή τηλεφωνία στο ηλεκτρονικό εμπόριο και στην ηλεκτρονική διακυβέρνηση. Η δύσκολη υπόθεση της “killer application”. Υπηρεσίες για κινητά δίκτυα πέρα από τα ωροσκόπια και τα τηλε-ραντεβού. Υπηρεσίες με επίγνωση του περιβάλλοντος και της θέσης.
Ο κύκλος ζωής της υπηρεσίας: Από τη γέννηση μέχρι το θάνατο της υπηρεσίας, από την αρχική ιδέα μέχρι την απόσυρση. Ποιοι έχουν συμφέροντα απ΄ την υπηρεσία, ποιοι δημιουργούν το περιεχόμενό της, ποιοι την υποστηρίζουν, ποιοι εισπράττουν από αυτήν; Πώς ονειρεύεται ο χρήστης την υπηρεσία, πώς αισθάνεται και μετράει αν είναι ποιοτική; Πώς υποστηρίζουμε την ποιότητα της υπηρεσίας πάνω από ένα περιορισμένων δυνατοτήτων δίκτυο; Τι παρέχουν σήμερα οι διάφοροι τύποι δικτύων και ποιες παραμέτρους εγγυώνται; Πώς οργανώνουμε τις υπηρεσίες έτσι ώστε να γίνονται πιο προσωπικές κι έτσι ώστε ο πελάτης να αισθάνεται πάντοτε σαν στο σπίτι του; Πώς κάνουμε πιο έξυπνες τις υπηρεσίες έτσι ώστε να εξυπηρετούν το χρήστη χωρίς να τον ενοχλούν; Ποιες άλλες απαιτήσεις υπάρχουν από μια υπηρεσία πέρα απ’ την καλή της λειτουργία και τις καλές επιδόσεις;
Σχεδιασμός με συνιστώσες: Ποια είναι τα "άτομα", από τα οποία κατασκευάζονται οι υπηρεσίες; Ποιων ειδών συνιστώσες έχουμε διαθέσιμες (σταθερές και κινητές) για να χτίσουμε υπηρεσίες; Πώς θα σπάσουμε την υπηρεσία στις κατάλληλες συνιστώσες; Πώς θα κάνουμε τις συνιστώσες ούτε πολύ μικρές ούτε πολύ μεγάλες; Πώς σκορπίζουμε τις συνιστώσες των υπηρεσιών πάνω από τα δίκτυα; Πώς οργανώνουμε τις συνιστώσες σε ένα αρμονικό σύνολο; Τι είναι η αρχιτεκτονική υπηρεσιών; Τι προσφέρει ο κλάδος της τεχνολογίας των υπηρεσιών και πώς διαφοροποιείται από την τεχνολογία λογισμικού; Ποιες είναι οι έτοιμες λύσεις και πως μπορεί να μειωθεί ο χρόνος δημιουργίας της νέας υπηρεσίας;
Πού και γιατί χρησιμεύει η προδιαγραφή: Γιατί να μη γράψουμε αμέσως κώδικα για υπηρεσίες και πρωτόκολλα; Πώς μπορούμε να εκφράσουμε την επιθυμητή συμπεριφορά τους πριν φτάσουμε στην υλοποίηση; Πώς μπορούμε να περιγράψουμε αυστηρά μια υπηρεσία ή ένα πρωτόκολλο χωρίς να γράψουμε κώδικα; Τι μας προσφέρει η αυστηρή περιγραφή και γιατί να χάσουμε το χρόνο μας γι’ αυτήν; Πώς ενσωματώνεται στον κύκλο ζωής της υπηρεσίας; Πώς μπορούμε να καταλάβουμε αν ο σχεδιασμός μας έχει τις επιθυμητές ιδιότητες πριν την τελική υλοποίηση; Τι πλεονεκτήματα εξασφαλίζουμε αν το καταφέρουμε;
Γλώσσες προδιαγραφής: Ποιες είναι οι γλώσσες αυστηρής περιγραφής πρωτοκόλλων και υπηρεσιών; Ποιες γλώσσες είναι της μόδας σήμερα και ποιες ήταν στο παρελθόν; Γιατί άλλαξε η μόδα; Τι μας προσφέρουν γλώσσες όπως οι SDL, LOTOS, UML; Σε ποια από τα στάδια σχεδιασμού μας καλύπτουν; Μπορούν να γράψουν για μας αυτόματα τον κώδικα; Ποιες είναι οι βασικές ιδιότητες καθεμιάς απ’ αυτές τις γλώσσες; Ποια εργαλεία (software) τις υποστηρίζουν και τι μπορούμε να κάνουμε μ’ αυτά; Ποια μαθηματικά κρύβονται πίσω από τις αυστηρές γλώσσες και τι προσφέρει η μαθηματική θεμελίωσή τους;
Δοκιμές: Πώς μπορούμε να καταλάβουμε αν μια υλοποίηση ανταποκρίνεται στις προδιαγραφές και στο σχεδιασμό; Πώς θα καταλάβουμε αν σέβεται συγκεκριμένα πρότυπα; Πώς γίνονται οι δοκιμές; Τι είναι η γλώσσα TTCN και πώς χρησιμοποιείται για τη συγγραφή ακολουθιών δοκιμών;
Εργαστήριο
Το μάθημα περιλαμβάνει κυρίως ασκήσεις με χρήση της γλώσσας UML.
Σημειώσεις και βιβλία
Τις σημειώσεις του μαθήματος μπορείτε να παραλαμβάνετε από τη γραμματεία του Τομέα Επικοινωνιών, Ηλεκτρονικής και Συστημάτων Πληροφορικής που βρίσκεται στο Β' όροφο του Νέου Κτ. Ηλεκτρολόγων, φάση Β.
Μέσω Εύδοξου μπορείτε να επιλέξετε ένα από τα εξής συγγράμματα:
- Βιβλίο [13675]: ΕΙΣΑΓΩΓΗ ΣΤΗ UML: ΣΥΝΟΠΤΙΚΟΣ ΟΔΗΓΟΣ ΤΗΣ ΠΡΟΤΥΠΗΣ ΓΛΩΣΣΑΣ ΜΟΝΤΕΛΟΠΟΙΗΣΗΣ ΑΝΤΙΚΕΙΜΕΝΩΝ, MARTIN FOWLER
- Βιβλίο [13912]: ΤΕΧΝΟΛΟΓΙΑ ΛΟΓΙΣΜΙΚΟΥ: ΘΕΩΡΙΑ ΚΑΙ ΠΡΑΞΗ, SHARI LAWRENCE PFLEEGER
