Σχεδίαση του συστήµατος (συνέχεια) Σχεδίαση Λογισµικού Αντώνης Καραγεώργος Τµήµα Μηχανικών Η/Υ και ικτύων Πανεπιστήµιο Θεσσαλίας karageorgos@inf.uth.gr Ζητήµατα σχετικά µε τηδηµιουργία του σχεδίου Χαρακτηριστικά του καλού σχεδίου Τεχνικές για βελτίωση του σχεδίου Επαλήθευση (Evaluation) και επικύρωση (Validation) του σχεδίου Τεκµηρίωση του σχεδίου Αποσύνθεση και Τµηµατικότητα Αποσύνθεση (decomposition) Ξεκινάµε µε µια περιγραφή υψηλού επιπέδου των κεντρικών στοιχείων του συστήµατος Στα χαµηλότερα επίπεδα περιγράφουµε τον τρόπο που συσχετίζονται τα χαρακτηριστικά και οι λειτουργίες του συστήµατος Τµηµατικότητα (modularity) Τα αποτελέσµατα της αποσύνθεσης σχηµατίζουν συνθετικά µέρη που καλούνται τµήµατα ή συστατικά (modules) ή δοµικές µονάδες (components). Αρθρωτό σύστηµα (Modular system): κάθε λειτουργία του συστήµατος εκτελείται από ακριβώς µία δοµική µονάδα Επίπεδα αποσύνθεσης και συστατικά Υψηλότερο επίπεδο Πρώτο επίπεδο αποσύνθεσης εύτερο επίπεδο αποσύνθεσης 1
Μέθοδοι αποσύνθεσης Αποσύνθεση σε µονάδες [modular decomposition]: απόδοση λειτουργιών σε δοµικές µονάδες Αποσύνθεση προσανατολισµένη στα δεδοµένα [Dataoriented decomposition]: βασίζεται σε εξωτερικές δοµές δεδοµένων Αποσύνθεση προσανατολισµένη στα γεγονότα [Eventoriented decomposition] (χρησιµοποιεί πληροφορίες για τα γεγονότα και τον τρόπο που αλλάζουν την κατάσταση του συστήµατος) Σχεδίαση από έξω προς τα µέσα (Outside-in design): είσοδος χρηστών, επεξεργασία, έξοδος Αντικειµενοστραφής σχεδίαση (Object-oriented design (αναγνωρίζει κλάσεις αντικειµένων και τις σχέσεις µεταξύ τους) Σχεδίαση µε βάση συστατικά (modules) Ευκολότερο λογισµικό όσον αφορά τη δηµιουργία τις αλλαγές και τη συντήρηση Χρήση συστατικών Μέγεθος δοµικών µονάδων Ποιος είναι ο βέλτιστος αριθµός δοµικών µονάδων τη σχεδίαση µιας συγκεκριµένης εφαρµογής; Κόστος ανάπτυξης συστατικών κόστος λογισµικού Κόστος σύνδεσης συστατικών Μπορεί να εξεταστεί από δυο πλευρές: τι έχει µέσα; πόσο µεγάλη είναι; Βέλτιστος αριθµός συστατικών Αριθµός συστατικών ΟΜΙΚΗ ΜΟΝΑ Α 2
Απόκρυψη πληροφοριών πελάτες συστατικό ελεγχόµενη διασύνδεση "secret" αλγόριθµοι Συγκεκριµένη απόφαση σχεδίασης δοµές δεδοµένων λεπτοµέρειες εξωτερικής διασύνδεσης πολιτική απόδοσης πόρων Σε τι εξυπηρετεί η απόκρυψη πληροφοριών Ελαττώνει την πιθανότητα παρενεργειών Περιορίζει τη συνολική επίδραση των τοπικών αποφάσεων σχεδίασης Τονίζει την ελεγχόµενη επικοινωνία µεταξύ διασυνδέσεων εν ευνοεί τη χρήση καθολικών δεδοµένων Οδηγεί σε ενθυλάκωση, ένα χαρακτηριστικό σχεδίασης καλής ποιότητας Έχει σαν αποτέλεσµα λογισµικό υψηλής ποιότητας Στυλ και στρατηγικές στην αρχιτεκτονική Τρία επίπεδα σχεδίασης (Shaw and Garlan 1996): Αρχιτεκτονική: συσχετίζει τις δυνατότητες του συστήµατος που έχουν αναγνωριστεί στην προδιαγραφή των απαιτήσεων µε τατµήµατα του συστήµατος που θα τις υλοποιήσουν απαιτήσεις -> τµήµατα συστήµατος Σχεδίαση κώδικα: τµήµατα -> αλγόριθµοι και δοµές δεδοµένων Σχεδίαση του εκτελέσιµου: αλγόριθµοι -> καταχώρηση µνήµης, χρόνος εκτέλεσης, βελτιστοποίηση κώδικα... Ορισµός και ιδιότητες αρχιτεκτονικής λογισµικού Η συνολική δοµή του λογισµικού και οι τρόποι µε τους οποίους αυτή παρέχει ιδεατή ολοκλήρωση (conceptual integrity) του συστήµατος [SHA95a] Ιδιότητες δοµής: ορίζουν τα συστατικά του συστήµατος και τον τρόπο που αυτά τα συστατικά οµαδοποιούνται και αλληλεπιδρούν µεταξύ τους. Για παράδειγµα, τα αντικείµενα ορίζονται έτσι ώστε να περιέχουν και δεδοµένα και την επεξεργασία των δεδοµένων και αλληλεπιδρούν µε κλήση των δηµόσιων µεθόδων τους Μη λειτουργικές ιδιότητες: Η περιγραφή του σχεδίου θα πρέπει να περιλαµβάνει τους τρόπους µε τους οποίους η συγκεκριµένη αρχιτεκτονική ικανοποιεί µη λειτουργικέςαπαιτήσειςόπωςαπόδοση, αξιοπιστία, ασφάλεια και προσαρµοστικότητα Οικογένειες από συγγενή συστήµατα: Ησχεδίασητης αρχιτεκτονικής πρέπει να µπορεί να βασίζεται σε πρότυπα σχεδίασης (design patterns) που απαντώνται συχνά στη σχεδίαση οικογενειών από συγγενή συστήµατα και να έχει τη δυνατότητα να επαναχρησιµοποιεί γνωστές αρχιτεκτονικές δοµές 3
Στυλ αρχιτεκτονικής (architectural styles) Κάθε στυλ αρχιτεκτονικής περιγράφει µια κατηγορία συστηµάτων που περιλαµβάνει: Ένα σύνολο συστατικών [π.χ. συστατικά υπολογισµών, µια βάση δεδοµένων, συστατικά διασύνδεσης µε το χρήστη ] Ένα σύνολο από συνδέσεις που επιτρέπουν επικοινωνία και ανταλλαγή πληροφοριών µεταξύ των συστατικών Περιορισµούς και κανόνες που ορίζουν πώς τα συστατικά µπορούν να ολοκληρωθούν για να σχηµατίσουν το σύστηµα Μοντέλα σηµαντικής (semantic models) που επιτρέπουν στο σχεδιαστή να αντιληφθεί τις συνολικές ιδιότητες του συστήµατος αναλύοντας τις ιδιότητες των µερών του. Στύλ αρχιτεκτονικής (συνέχεια) ιοχετεύσεις και φίλτρα Αντικειµενοστραφής σχεδίαση Υπονοούµενη επίκληση ιαστρωµάτωση, αποθήκες δεδοµένων ιερµηνευτές, έλεγχος διεργασιών Κατανεµηµένα συστήµατα, συστήµατα πελάτηεξυπηρετητή, Αρχιτεκτονικές που εξειδικεύονται σε ένα πεδίο Άλλα... (Kazman et. Al) ιοχετεύσεις και φίλτρα ιοχετεύσεις και φίλτρα: ιδιότητες ιοχέτευση Φίλτρο Εύκολο να κατανοηθούν µε βάσητα: είσοδος -> µετασχηµατισµός -> έξοδος Είναι ανεξάρτητα και εποµένως το σύστηµα µπορεί να µελετηθεί µε προσοµοίωση και να µελετηθεί π.χ. η διεκπεραιωτική ικανότητα του συστήµατος Επαναχρησιµοποιούνται εύκολα Εύκολο να προστεθούν και να αφαιρεθούν Επιτρέπεται η ταυτόχρονη εκτέλεση φίλτρων Π.χ. στη µεταγλώττιση προγραµµάτων 4
Αντικειµενοστραφής σχεδίαση Αναπαριστούµε τοπρόβληµα σανµια συλλογή από αλληλεπιδρώντα αντικείµενα Για να λάβει χώρα η αλληλεπίδραση πρέπει να είναι γνωστή στα αντικείµενα η ταυτότητα των υπόλοιπων αντικειµένων Η αναπαράσταση των δεδοµένων πρέπει να αποκρύπτεται από τα υπόλοιπα αντικείµενα Εξάρτηση µεταξύ των αντικειµένων Η αλλαγή της ταυτότητας ενός αντικειµένου απαιτεί αλλαγή όλων των άλλων αντικειµένων µε ταοποία αλληλεπιδρά Υπονοούµενη επίκληση Καθοδηγείται από γεγονότα και είναι βασισµένο στην έννοια της εκποµπής Αντί να καλείται άµεσα µια διαδικασία ανακοινώνεται κάποια ακολουθία γεγονότων Πρόβληµα: Κατά την ανακοίνωση του γεγονότος δεν είναι γνωστό ποιό συστατικό θα επεξεργαστεί το γεγονός Λύση: τα συστατικά ταξινοµούνται σε επίπεδα (levels) και τα συστατικά στο υψηλότερο επίπεδο της ιεραρχίας επεξεργάζονται το γεγονός αν είναι διαθέσιµα. Αν όχι τότε το γεγονός προχωρά για επεξεργασία στα χαµηλότερα επίπεδα Παράδειγµα: συντάκτες κειµένου για γεγονότα που µπορούν να προκύψουν κατά την εκσφαλµάτωση ιαστρωµάτωση ιαστρωµένη αρχιτεκτονική Κρυπτογραφία ιασύνδεση αρχείων ιαχείριση κλειδιών Πιστοποίηση ταυτότητας Χρήστες ιαστρωµένη αρχιτεκτονική ασφαλείας Κάθε στρώµα παρέχει υπηρεσίες σ αυτό που βρίσκεται αµέσως πιο έξω και λειτουργεί ως πελάτης στο στρώµα που βρίσκεται πιο µέσα Περίπτωση 1: ένα στρώµα έχειπρόσβασηµόνο σε γειτονικά στρώµατα Περίπτωση 2: ένα στρώµα έχει πρόσβαση σε κάποια άλλα στρώµατα αλλά όχι όλα Ηπερίπτωση1 χρησιµοποιείται στις περισσότερες διαστρωµένες αρχιτεκτονικές Τα στρώµατα αντιπροσωπεύουν επίπεδα αφαίρεσης Οι χρήστες µπορούν να προσπελάσουν το σύστηµα σε διαφορετικά στρώµατα του σχεδίου ανάλογα µε τις ανάγκες που εκφράζονται στις απαιτήσεις 5
Πηγή Γνώσεων 3 Αποθήκες δεδοµένων Πηγή Γνώσεων 4 Αποθήκη (κοινά δεδοµένα) Πηγή Γνώσεων 5 Αρχιτεκτονικές αποθηκών δεδοµένων Κεντρική αποθήκη δεδοµένων (µαυροπίνακας) Συλλογή συστατικών (πηγές γνώσης: οντότητες, αντικείµενα) Οι αλλαγές στα δεδοµένα (κατάσταση του συστήµατος) στην κεντρική αποθήκη δεδοµένων ενεργοποιούν την αντίδραση των συστατικών Σε συσχεσιακή βάση δεδοµένων οι συναλλαγές ρυθµίζουν την εκτέλεση των διεργασιών Πηγή Γνώσεων 2 Πηγή Γνώσεων 1 Πηγή Γνώσεων 6 ιερµηνευτές Ένας διερµηνευτής δέχεται µια αλυσίδα χαρακτήρων και τη µετατρέπει σε κώδικα ο οποίος κατόπιν εκτελείται Η µετατροπή λαµβάνει χώρα σε µια σειρά βηµάτων Σταθερό σηµείο Έλεγχος διεργασιών ΒΡΟΧOΣ ΑΝΑ ΡΑΣΗΣ: Μεταβλητές εισόδου ιεργασία Ελεγκτής Αλλαγές στις ρυθµιζόµενες µεταβλητές Ελεγχόµενη µεταβλητή Σταθερό σηµείο ΒΡΟΧΟΣ ΕΜΠΡΟΣΘΙΑΣ ΜΕΤΑ ΟΣΗΣ: Μεταβλητές εισόδου ιεργασία Ελεγκτής Αλλαγές στις ρυθµιζόµενες µεταβλητές Ελεγχόµενη µεταβλητή Συστήµατα οπισθοδροµικής και εµπρόσθιας µετάδοσης (Shaw and Garlan 1996) 6
Κατανεµηµένα Συστήµατα Πελάτης - Εξυπηρετητής Ο πελάτης ζητά µια υπηρεσία Ο εξυπηρετητής παρέχει την υπηρεσία Τοπολογία δαχτυλιδιού Τοπολογία αστέρα Βασικό πλεονέκτηµα: Η υπηρεσία παρέχεται όταν ζητείται Αρχιτεκτονικές εξειδικευµένες σε πεδία Χρησιµοποιούν στοιχεία του συγκεκριµένου πεδίου όπως αυτοκινητοβιοµηχανίες, µεταφορές υλικών (logistics) ήγραµµές παραγωγής Αντιστοιχούν τις αρχιτεκτονικές µε φυσικές αρχιτεκτονικές του πεδίου εφαρµογής (π.χ. ένας πράκτορας για κάθε εργαζόµενο) Ζητήµατα στη δηµιουργία σχεδίου Κατά την επιλογή του κατάλληλου στυλ αρχιτεκτονικής πρέπει να λαµβάνονται υπ όψη τα παρακάτω ζητήµατα: Τµηµατικότητα και επίπεδα αφαίρεσης Συνεργατική σχεδίαση Η σχεδίαση της διασύνδεσης χρήστη Ταυτοχρονισµός (Concurrency) Πρότυπα σχεδίων και επαναχρησιµοποίηση 7
Τµηµατικότητα και επίπεδα αφαίρεσης Απόκρυψη πληροφοριών: Σε µια τµηµατικήσχεδίασητα τµήµατα έχουν ευκρινώς καθορισµένες εισόδους και εξόδους και κάθε τµήµα έχει ένα σαφώς διατυπωµένο σκοπό Επίπεδα αφαίρεσης: Οι δοµικές µονάδες ενός επιπέδου εξειδικεύουν αυτές που βρίσκονται στο πιο πάνω επίπεδο Περισσότερες λεπτοµέρειες στα χαµηλότερα επίπεδα Συνεργατική σχεδίαση Στα περισσότερα έργα, το σχέδιο δεν δηµιουργείται από ένα µόνο πρόσωπο Μια οµάδα εργάζεται συνεργατικά για να παράγει ένα σχέδιο, συχνά αναθέτοντας διαφορετικά µέρη του σχεδίου σε διαφορετικούς ανθρώπους Συνεργατικές οµάδες µπορεί να είναι διάσπαρτες οπουδήποτε στον κόσµο Προβλήµατα επικοινωνίας καθώς και απουσία προσωπικής επαφής Σχεδίαση της διασύνδεσης χρήστη Η διασύνδεση χρήστη πρέπει να περιλαµβάνει τα παρακάτω στοιχεία (Marcus 1993): Μεταφορές (metaphors): θεµελιώδεις όροι, εικόνες, και έννοιες που ο χρήστης µπορεί να αναγνωρίσει και να µάθει Πνευµατικό µοντέλο (mental model): οργάνωση και αναπαράσταση δεδοµένων, λειτουργιών, δραστηριοτήτων και ρόλων Κανόνες πλοήγησης (navigation rules): Τρόπος µετακίνησης διαµέσου των παραπάνω Εµφάνιση (look): χαρακτηριστικά της εµφάνισης του συστήµατος που παρέχουν πληροφορίες στο χρήστη Αίσθηση (feel):οι τεχνικές αλληλεπίδρασης που παρέχουν µια ευχάριστη εµπειρία στο χρήστη Ζητήµατα σχετικά µε τη διασύνδεση χρήστη Ζητήµατα κουλτούρας Προτιµήσεις χρήστη Κατευθυντήριες γραµµές για τον προσδιορισµό των χαρακτηριστικών της διασύνδεσης χρήστη 8
Ζητήµατα κουλτούρας Προτιµήσεις του χρήστη Επιλογή χρώµατος, πορφυρό? Αγγλία: σηµαίνει βασιλική καταγωγή Ιαπωνία: αριστοκρατία και αξιοπρέπεια Ελλάδα: Θάνατο ατύχηµα Για να είναι τα συστήµατα ανεξάρτητα κουλτούρας: Πρέπει να εξαλειφθούν συγκεκριµένες αναφορές σε κουλτούρα (π.χ. χρησιµοποιώντας ουδέτερα χρώµατα) Προσαρµογή στις κουλτούρες αυτών που θα χρησιµοποιούν το λογισµικό Υπάρχουν διαφορές στις προτιµήσεις των χρηστών. εν υπάρχει διασύνδεση που να είναι κατάλληλη για τον καθένα Προτυποποίηση όσον αφορά την οµάδα χρηστών στις οποίες απευθύνεται η εφαρµογή Παροχή δυνατοτήτων ρύθµισης της διασύνδεσης χρήστης (π.χ. Microsoft Office) Ευκολία χρήσης Κατευθυντήριες γραµµές για προσδιορισµό των χαρακτηριστικών της διασύνδεσης χρήστη Υψηλή Μέση Χαµηλή Αναγνώριση φωνής Γραµµή εντολών Φόρµες Οθόνη επαφής OCR Εισαγωγή δεδοµένων Ταυτοχρονισµός Οι ενέργειες πρέπει να γίνονται ταυτόχρονα Πρόβληµα: Η ανάγκη για διασφάλιση της συνέπειας (consistency) των δεδοµένων τα οποία µοιράζονται µεταξύ δοµικών µονάδων που εκτελούνται την ίδια ώρα Λύση: Συγχρονισµός Αµοιβαίος αποκλεισµός (mutual exclusion) Αποµονωτές (Monitors) Φρουροί (Guardians) 9
Αµοιβαίος αποκλεισµός Εξασφαλίζει ότι όταν µια διεργασία προσπελαύνει κάποια δεδοµένα, καµία άλλη διεργασία δεν προσπελαύνει τα συγκεκριµένα δεδοµένα Έλεγχος και κλείδωµα: Αν µια λειτουργία ελέγχει την κατάσταση ενός αντικειµένου τότε το αντικείµενο πρέπει να κλειδωθεί ώστε η κατάστασή του να µην αλλάζει µεταξύ της στιγµής που γίνεται ο έλεγχος και της στιγµής που µια γίνεται µια ενέργεια βασισµένη στα αποτελέσµατα του ελέγχου Αποµονωτές Ένας αποµονωτής είναι ένα αφηρηµένο αντικείµενο που ελέγχει τον αµοιβαίο αποκλεισµό για µια συγκεκριµένη διεργασία (π.χ. έλεγχο ενός πόρου) Όποιος θέλει να προσπελάσει τον πόρο θα πρέπει να το κάνει δια µέσου του αποµονωτή Ο αποµονωτής επιτρέπει µια προσπέλαση στον πόρο κάθε φορά και σταµατάει άλλες απόπειρες προσπέλασης που γίνονται την ίδια στιγµή Φρουροί Ένας φρουρός είναι µια λειτουργία που εκτελείται συνεχώς Ο µοναδικός στόχος ενός φρουρού είναι να ελέγχει την πρόσβαση σε ενθυλακωµένους πόρους (δηλαδή δοµές δεδοµένων ή διεργασίες) A guardian is a task that is always running: its only purpose is to control access to an encapsulated resource. Others interact with the guardian, and does not interact directly with the encapsulated resource. 10