Σχεδιαστικά Μορφήµατα (Design Patterns)

Transcript

1 Εθνικό Μετσόβιο Πολυτεχνείο Σχολή ΗMMY Σχεδιαστικά Μορφήµατα (Design Patterns) Ανδρέας Παπασαλούρος εκέµβριος

2 Περίγραµµα Γενικά Αρχιτεκτονικά µορφήµατα Σχεδιαστικά Μορφήµατα ηµιουργίας (Creational) οµής (Structural) Συµπεριφοράς (Behavioral) Βιβλιογραφία - Αναφορές εκέµβριος

3 Χαρακτηριστικά µορφηµάτων Ένα µόρφηµα αναφέρεται σε ένα συγκεκριµένο σχεδιαστικό πρόβληµα σε ένα σχεδιαστικό περιβάλλον και παρουσιάζει µια λύση του Τα µορφήµατα καταγράφουν υπάρχουσα, καλά τεκµηριωµένη σχεδιαστική εµπειρία Τα µορφήµατα προσδιορίζουν και προδιαγράφουν αφηρηµένες λύσεις που βρίσκονται πάνω από το επίπεδο συγκεκριµένων κλάσεων ή συνθετηµάτων Τα µορφήµατα παρέχουν ένα κοινό λεξιλόγιο και µια βάση για την κατανόηση σχεδιαστικών αρχών Ένα µόρφηµα είναι ένα µέσο για την τεκµηρίωση αρχιτεκτονικών λογισµικού Τα µορφήµατα επιτρέπουν τη δηµιουργία λογισµικού µε συγκεκριµένες ιδιότητες πολύπλοκων και ετερογενών αρχιτεκτονικών λογισµικού Τα µορφήµατα βοηθούν στη διαχείριση της πολυπλοκότητας του λογισµικού εκέµβριος

4 Μορφήµατα: Ορισµός Ένα µόρφηµα περιγράφει ένα πρόβληµα που εµφανίζεται ξανά και ξανά σε συγκεκριµένα περιβάλλοντα και παρουσιάζει ένα καλά τεκµηριωµένο γενικό σχήµα για τη λύση του. Αυτό το σχήµα περιγράφεται από τα συνθετήµατα (components) που το αποτελούν, τις αρµοδιότητες και σχέσεις τους και τους τρόπους µε τους οποίους συνεργάζονται [Buschmann96] εκέµβριος

5 Ένα παράδειγµα: Observer Σκοπός ηµιουργία µιας σχέσης ένα προς πολλά µεταξύ αντικειµένων έτσι όταν ένα αλλάζει, όλα τα αντικείµενα που εξαρτώνται από αυτό να ειδοποιούνται και να αλλάζουν αυτόµατα. Επιτρέπει το συγχρονισµό αλληλεπιδρώντων αντικειµένων µέσω ενός µηχανισµού διάδοσης των αλλαγών εκέµβριος

6 Observer Περιβάλλον Ένα σύνολο από αλληλεπιδρώντα αντικείµενα Πρόβληµα Η ενηµέρωση των αντικειµένων για την αλλαγή της κατάστασης ενός από αυτά Λύση Ένα αντικείµενο (subject) καταγράφει και ενηµερώνει τα υπόλοιπα που ενδιαφέρονται για την κατάστασή του (observers) εκέµβριος

7 Observer: οµή for all o in observers { o.update() Subject attach() detach() notify() observers * <<Interface>> Observer update() ConcreteSubject subjectstate getstate() setstate() subject ConcreteObserver observerstate update() observerstate = subject.getstate() εκέµβριος

8 Observer: Λειτουργία s : ConcreteSubject o1 : ConcreteObserver o2 : ConcreteObserver setstate() notify() update() getstate() update() getstate() εκέµβριος

9 Observer: Παράδειγµα εκέµβριος

10 Observer <<Abstract>> CanvasMode addmodelistener() notifylisteners() observers * <<Interface>> ModeListener ConcreteCanvasMode mode getmode() setmode() mode GraphFrame update() εκέµβριος

11 Observer: Παράδειγµα abstract class GraphMode { //Mode of mouse functions int mode; //The list of the observers Vector modelisteners = new Vector(); void notify() { for (Enumeration e = modelisteners.elements();e.hasmoreelements();) { ModeListener listener= (ModeListener) e.nextelement(); listener.update(); void addmodelistener(modelistener listener) { modelisteners.add(listener); εκέµβριος

12 Observer : Παράδειγµα class ConcreteCanvasMode extends CanvasMode { void setmode(int mode) { this.mode = mode; notifylisteners(); int getmode() { return this.mode; εκέµβριος

13 Observer: Παράδειγµα public interface ModeListener { void update(); public class GraphFrame extends JFrame implements ModeListener { GraphCanvas canvas; ConcreteCanvasMode mode; public GraphFrame() { canvas=new GraphCanvas(); mode=graphcanvas.getmode(); mode.addmodelistener(this); public void update() { int mode = canvas.getmode(); εκέµβριος

14 Observer Συνέπειες Χαλαρή σύζευξη µεταξύ Subject και Observer Υποστήριξη της επικοινωνίας Μη αναµενόµενες ανανεώσεις (αρνητική) Γνωστές Χρήσεις MVC (Smalltalk) Άλλες ονοµασίες Dependents, Publish-Subscribe εκέµβριος

15 Αρχιτεκτονικά µορφήµατα Ένα αρχιτεκτονικό µόρφηµα είναι ένα θεµελιώδες, δοµικό σχήµα οργάνωσης ενός συστήµατος λογισµικού. Παρέχει ένα σύνολο προκαθορισµένων υποσυστηµάτων, καθορίζει τις αρµοδιότητές τους και τους κανόνες και οδηγίες για την οργάνωση των σχέσεων µεταξύ τους εκέµβριος

16 Αρχιτεκτονικά Μορφήµατα: Layers Περιβάλλον Ένα µεγάλο σύστηµα που απαιτεί αποσύνθεση Πρόβληµα Η σχεδίαση ενός συστήµατος το οποίο παρέχει λειτουργίες υψηλού και χαµηλού επιπέδου και οι τελευταίες βασίζονται στις προηγούµενες Λύση Οργάνωση του συστήµατος σε ένα αριθµό στρωµάτων. Κάθε στρώµα χρησιµοποιεί υπηρεσίες του αµέσως κατώτερού του εκέµβριος

17 Layers: οµή Application-specific layer Layer N Application-general layer Layer N-1... Middleware layer Layer 1 System-software layer εκέµβριος

18 Αρχιτεκτονικά µορφήµατα Layers Ελαχιστοποίηση των εξαρτήσεων µεταξύ των αρχιτεκτονικών συνθετηµάτων µε τηνκάθετηδόµησή τους σε n στρώµατα µε ένα ή και περισσότερα συνθετήµατα στο κάθε στρώµα. From Mud to Structure Pipes and Filters Blackboard Ελαχιστοποίηση των εξαρτήσεων µεταξύ συνθετηµάτων µε την οριζόντια δόµησή τους έτσι ώστε το κάθε συνθέτηµαναεκτελείµια µερική επεξεργασία των δεδοµένωνκαιναταδίνειστο επόµενο για περεταίρω επεξεργασία. Το αρχιτεκτονικό µόρφηµα Blackboard είναι χρήσιµο σε προβλήµατα για τα οποία δεν υπάρχουν ντετερµινιστικές στρατηγικές επίλυσης. Στο Blackboard πολλά εξειδικευµένα υποσυστήµατα συνθέτουν τη γνώση τους για να δοµήσουν µια πιθανώς µερικήήπροσεγγιστικήλύση. εκέµβριος

19 Αρχιτεκτονικά µορφήµατα Adaptable Systems Microkernel Reflection Το αρχιτεκτονικό µόρφηµα Microkernel εφαρµόζεται συστήµατα λογισµικού που πρέπει να έχουν τη δυνατότητα να προσαρµόζονται σε µεταβαλλόµενες απαιτήσεις. ιαχωρίζει έναν ελάχιστο πυρήνα λειτουργικότητας από την εκτεταµένη λειτουργικότητα και τα τµήµατα τα σχετικά µε τους πελάτες. Ο microkernel επίσης λειτουργεί ως υποδοχή για τη σύνδεση των επεκτάσεων αυτών και τον συντονισµότων αλληλεπιδράσεών τους. Το αρχιτεκτονικό µόρφηµα Reflection παρέχει ένα µηχανισµό γιατη δυναµική αλλαγή της δοµής και συµπεριφοράς συστηµάτων λογισµικού. Υποστηρίζει την τροποποίηση θεµελιωδών όψεων όπως δοµές τύπων και µηχανισµούς κλήσης συναρτήσεων. Σε αυτό το µόρφηµα, µια εφαρµογή διαιρείται σε δύο µέρη. Ένα µετα-επίπεδο παρέχει πληροφορίες για επιλεγµέναχαρακτηριστικάτουσυστήµατος και δίνει στο σύστηµαγνώση για τον εαυτό του. Ένα βασικό επίπεδο περιέχει τη λογική της εφαρµογής. Η υλοποίησή του βασίζεται στο µετα-επίπεδο. Αλλαγές στην πληροφορία στο µέτα-επίπεδο επηρεάζουν τη συµπεριφορά στο βασικό επίπεδο. εκέµβριος

20 Αρχιτεκτονικά µορφήµατα Distributed Systems Broker Το αρχιτεκτονικό µόρφηµα Broker µπορεί να χρησιµοποιηθεί για την κατασκευή κατανεµηµένων συστηµάτων λογισµικού µε αποσυζευγµένες συνιστώσες οι οποίες αλληλεπιδρούν µέσω αποµακρυσµένων κλήσεων υπηρεσιών. Μια συνιστώσα broker είναι υπεύθυνη για τον συντονισµό της επικοινωνίας, όπως την προώθηση αιτήσεων, όπως και την µετάδοση αποτελεσµάτων και εξαιρέσεων. εκέµβριος

21 Αρχιτεκτονικά Μορφήµατα Interactive Systems Model-View- Controller (MVC) Presentation- Abstraction- Control (PAC) Το αρχιτεκτονικό µόρφηµα Model-View-Controller (MVC) διαµερίζει µια διαδραστική εφαρµογή σε τρεις συνιστώσες. Το µοντέλο (model) περιέχει τη βασική λειτουργικότητα και τα δεδοµένα. Οι όψεις (views) και οι ελεγκτές (controllers) από κοινού συνιστούν τη διαπροσωπεία χρήστη. Ένας µηχανισµός αλλαγής-διάδοσης εξασφαλίζει τη συνέπεια µεταξύ της διαπροσωπείας χρήστη και του µοντέλου. Το αρχιτεκτονικό µόρφηµα Presentation-Abstraction-Control (PAC) ορίζει µια δοµή για διαδραστικά συστήµατα λογισµικού µετηµορφή µιας ιεραρχίας συνεργαζόµενων πρακτόρων (agents). Κάθε πράκτορας είναι υπεύθυνος για ένα συγκεκριµένο τµήµα της λειτουργικότητας της εφαρµογής και αποτελείται από τρεις συνιστώσες: παρουσίαση (presentation), αφαίρεση (abstraction) και έλεγχος (control). Αυτή η υποδιαίρεση διαχωρίζει την πλευρά της αλληλεπίδρασης ανθρώπουυπολογιστή του πράκτορα από τον λειτουργικό του πυρήνα και από την επικοινωνία του µεάλλουςπράκτορες. εκέµβριος

22 Μορφήµατα Σχεδίασης ηµιουργίας οµής Συµπεριφοράς εκέµβριος

23 Mορφήµατα ηµιουργίας Μορφήµατα που σχετίζονται µε τη δηµιουργία αντικειµένων (instantiation) Abstract Factory Builder Factory Method Prototype Singleton εκέµβριος

24 Factory Method Σκοπός Καθορισµός µιας διαπροσωπείας για τη δηµιουργία ενός αντικειµένου Εφαρµογή Όταν µια κλάση δε γνωρίζει εκ των προτέρων τις κλάσεις των αντικειµένων που πρόκειται να δηµιουργήσει Όταν µια κλάση αφήνει τις υποκλάσεις της να καθορίσουν τα αντικείµενα που δηµιουργεί Όταν κάποιες κλάσεις αναθέτουν την ευθύνη για τη δηµιουργία αντικείµένων σε υποκλάσεις άλλων κλάσεων και ο χρήστης θέλει να γνωρίζει σε ποια υποκλάση έχει ανατεθεί η ευθύνη εκέµβριος

25 Factory Method: οµή Product Creator FactoryMethod() product=factorymethod() ConcreteProduct ConcreteCreator FactoryMethod() return new ConcreteProduct εκέµβριος

26 Factory Method: Προγραµµατιστικό Παράδειγµα abstract class Race { abstract Frame createframe(); abstract Wheel createwheel(); // return a complete bicycle without needing // any arguments Bicycle completebicycle() { Frame frame = createframe(); Wheel frontwheel = createwheel(); Wheel rearwheel = createwheel(); return new Bicycle(frame, frontwheel, rearwheel); Race createrace() { Bicycle bike1 = completebicycle(); Bicycle bike2 = completebicycle(); //... εκέµβριος

27 Factory Method //French race class TourDeFrance extends Race { Frame createframe() {return new RacingFrame(); Wheel createwheel() {return new Wheel700c(); //Cyclocross race class Cyclocross extends Race { Frame createframe() { return new MountainFrame(); Wheel createwheel() {return new Wheel26inch(); Οι µέθοδοι create ονοµάζονται factory methods εκέµβριος

28 Factory Method Συνέπειες To Factory Method ελαχιστοποιεί την ανάγκη για τη σύζευξη κλάσεων σχετικών µε την εφαρµογή στο πρόγραµµά µας. Το πρόγραµµα αναφέρεται µόνο στη διαπροσωπεία Product (στο παράδειγµα: Bicycle). Ένα µειονέκτηµα του Factory Method είναι η ανάγκη για δηµιουργία υποκλάσεων του Creator σε κάθε περίπτωση δηµιουργίας κάποιου Product Γνωστές Χρήσεις Το σύστηµα Orbix ORB της IONA χρησιµοποιεί αυτό το µόρφηµα για τη δηµιουργία ενός κατάλληλου τύπου proxy κατά την αναφορά ενός αντικειµένου σε ένα άλλο αποµακρυσµένο Άλλες ονοµασίες Virtual Constructor Συσχετιζόµενα µορφήµατα Abstract Factory Prototype εκέµβριος

29 Μορφήµατα οµής Τα µορφήµατα δοµής αφορούν στον τρόπο µε τον οποίο κλάσεις και αντικείµενα συντίθενται ώστε να σχηµατίσουν µεγαλύτερες δοµές Adapter Bridge Composite Decorator Façade Flyweight Proxy εκέµβριος

30 Adapter Σκοπός Η µετατροπή της διαπροσωπείας µιας κλάσης σε µια άλλη, επιθυµητή από τους πελάτες της Εφαρµογή Όταν είναι επιθυµητή η χρήση µιας κλάσης και η διαπροσωπεία της δεν το επιτρέπει Όταν ζητείται η δηµιουργία µιας επαναχρησιµοποιήσιµης κλάσης εκέµβριος

31 Adapter: οµή Client <<Interface>> Target request() Adaptee anotherrequest() Adapter request() anotherrequest() Client <<Interface>> Target request() adaptee Adaptee anotherrequest() Adapter request() adaptee.anotherrequest() εκέµβριος

32 Adapter Client Rectangle scale() NonScalablleRectangle setwidth() setheight() ScalableRectangle scale() εκέµβριος

33 Adapter: Προγραµµατιστικό παράδειγµα interface Rectangle { void scale(float factor); //other methods class Client { void mymethod(rectangle r){ r.scale(2.); εκέµβριος

34 Adapter: Προγραµµατιστικό παράδειγµα class NonScalableRectangle { void setwidth(float width){ void setheight(float height){ class ScalableRectangle extends NonScalableRectangle implements Rectangle { void scale(float factor) { setwidth(factor * getwidth()); setheight(factor * getheight()); εκέµβριος

35 Adapter Συνέπειες Στην περίπτωση του class Adapter δεν είναι δυνατή η προσαρµογή στις υποκλάσεις του Adaptee. Αντίθετα αυτό είναι δυνατό στην περίπτωση του object Adapter Γνωστές χρήσεις GraphicsBlock, SmallTalk, Next AppKit Άλλες Ονοµασίες Wrapper Συσχετιζόµενα µορφήµατα Bridge, Decorator, Proxy εκέµβριος

36 Μορφήµατα Συµπεριφοράς Τα µορφήµατα συµπεριφοράς (behavioral patterns) αφορούν σε αλγορίθµους και στην ανάθεση λειτουργιών σε αντικείµενα εκέµβριος

37 Μορφήµατα Συµπεριφοράς Chain of responsibility Command Interpreter Iterator Mediator Memento Observer State Strategy Template Method Visitor εκέµβριος

38 Iterator Σκοπός Παρέχει έναν τρόπο για την προσπέλαση µιας συλλογής αντικειµένων ακολουθιακά και ανεξάρτητα από την εσωτερική δοµή της συλλογής. εκέµβριος

39 Iterator: οµή Aggregate createiterator() Client Iterator first() next() isdone() currentitem() ConcreteAggregate createoperation() ConcreteIterator return new ConcreteIteration(this) εκέµβριος

40 Iterator: Προγραµµατιστικό Παράδειγµα public class Stack { private Vector items; public Enumeration enumerator() { return new StackEnum(); class StackEnum implements Enumeration { int currentitem = items.size() - 1; public boolean hasmoreelements() { return (currentitem >= 0); public Object nextelement() { if (!hasmoreelements()) throw new NoSuchElementException(); else return items.elementat(currentitem--); εκέµβριος

41 Iterator: οµή Client Stack enumeration() <<Interface>> Enumerator hasmoreelements() nextelement() StuckEnum εκέµβριος

42 Iterator Συνέπειες Γνωστές Χρήσεις Enumeration Interface (Java), ObjectWindows Άλλες Ονοµασίες Cursor Συσχετιζόµενα µορφήµατα Composite, Factory Method, Memento εκέµβριος

43 Iterator: Πλεονεκτήµατα και µειονεκτήµατα Πλεονεκτήµατα Κώδικας επεκτάσιµος Κώδικας επαναχρησιµοποιήσιµος Η Σχεδίαση προβλέπει τις αλλαγές (design for change) Μειονεκτήµατα Μειωµένη απόδοση Αύξηση του αριθµού των κλάσεων και του µεγέθους του κώδικα υσκολία στην εκµάθηση εκέµβριος

44 Σχετικές έννοιες Εργαλειοθήκη (toolkit) Παράδειγµα: C++ I/O stream library Πλαίσιο (framework) Παράδειγµα: ΕΤ++ Ιδίωµα (Idiom) C++: Handle/body, Java: Enumeration εκέµβριος

45 Μορφήµατα εξαρτηµένα από το πεδίο εφαρµογής (domain specific) Επιχειρησιακή µοντελοποίηση (business patterns) Προσδιορισµός Απαιτήσεων - Ανάλυση (Analysis Patterns) ιαπροσωπείες Χρήστη (User Interface Patterns) Σχεδιασµός Υπερµέσων (Hypermedia Design Patterns) Ηλεκτρονική µάθηση (e-learning Patterns)... εκέµβριος

46 Βιβλιογραφία - Αναφορές F. Buschmann, R. Meunier, H. Rohnert, P.Sommerlad and M. Stal. Pattern-Oriented Software Architecture: A System of Patterns. Wiley M. Cline.The Pros and Cons of Adopting and Applying Design Patterns in the Real World. Communications of the ACM, Vol. 39, No 10, Oct E. Gamma, R. Helm, R. Johnson and J. Vlissides. Design Patterns: Elements of reusable object-oriented software. Addison Wesley G. Larman. Applying UML and Patterns, 2nd Edition. Prentice Hall εκέµβριος