1 / 106

Software Engineering Behavioral Design Patterns

Software Engineering Behavioral Design Patterns. Software Engineering 2011 Department of Computer Science Ben-Gurion university. Based on slides of: Mira Balaban Department of Computer Science Ben-Gurion university F. Tip. IBM T J Watson Research Center. Behavioral Patterns.

holland
Download Presentation

Software Engineering Behavioral Design Patterns

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Software EngineeringBehavioral Design Patterns Software Engineering 2011 Department of Computer Science Ben-Gurion university Based on slides of: Mira Balaban Department of Computer Science Ben-Gurion university F. Tip. IBM T J Watson Research Center.

  2. Behavioral Patterns • concerned with algorithms and the assignment of responsibilities between objects • behavioral class patterns use inheritance to distribute behavior between classes • behavioral object patterns use composition to distribute behavior between objects Chain of Responsibility Command Interpreter Iterator Mediator Memento • Observer • State • Strategy • Template Method • Visitor

  3. Iterator: Motivation • Accessing the elements of an aggregate object without exposing its internal structure. • Traverse the aggregate in different ways, depending on needs. • Do not want to bloat the aggregate interface with operations for different traversals, even if they can be anticipated. • Need to have more than one traversal pending on the same aggregate.

  4. Iterator: Solution • Key idea: Take the responsibility for access and traversal out of the aggregate object and put it into an Iterator object. • The list objects are responsible for creating their corresponding iterator.

  5. Iterator: Participants • Iterator • defines an interface for accessing and traversing elements • ConcreteIterator • implements the Iterator interface • keeps track of the current position in the traversal of the aggregate • Aggregate • defines an interface for creating an Iterator object • ConcreteAggregate • implements the Iterator creation interface to return an instance of the proper ConcreteIterator

  6. Iterator: Class Diagram

  7. Iterator: intent and context • provide a way to access the elements of an aggregate object sequentially without exposing its underlying representation • apply Iterator for the following purposes: • to access an aggregate object’s contents without exposing its internal representation • to support multiple traversals of aggregate objects • to provide a uniform interface for traversing different aggregate structures (support polymorphic iteration)

  8. Iterator Example: Directory traversal • use Iterator to allow clients to iterate through the Files in a Directory • without exposing Directory’s internal structure to the client

  9. Interface Iterator interface Iterator { public void first(); // set to first public void next(); // advance public booleanisDone(); // is done public Object current(); // get current }

  10. class Directory (1) class Directory extends Node { ... public Iteratoriterator(){ return new DirectoryIterator(this); } // use a private inner class because: // - it is not visible outside the class // - its methods have access to Directory’s // private field _children private class DirectoryIteratorimplements Iterator { private Vector _files; private int_fileCnt; DirectoryIterator(Directory d){ _files = d._children; _fileCnt = 0; } ...

  11. class Directory (2) public void first(){ _fileCnt = 0; } public void next(){ _fileCnt++; } public booleanisDone(){ return _fileCnt == _files.size(); } public Object current(){ return _files.elementAt(_fileCnt); } } }

  12. Client public class Main { public static void main(String[] args){ Directory root = new Directory(""); File core = new File("core", root, "hello"); Directory usr = new Directory("usr", root); File adm = new File("adm", usr, "there"); Directory foo = new Directory("foo", usr); File bar1 = new File("bar1", foo, "abcdef"); File bar2 = new File("xbar2", foo, "abcdef"); File bar3 = new File("yybarzz3", foo, "abcdef"); // use iterator to print contents of /usr Iterator it = usr.iterator(); for (it.first(); !it.isDone(); it.next()){ Node n = (Node)it.current(); System.out.println(n.getAbsoluteName()); } } }

  13. Output /usr/adm /usr/foo/

  14. Iterator: Considerations • two kinds of Iterators: • internaliterators: iteration controlled by iterator itself. Client hands iterator an operation to perform; iterator applies op. to each element in the collection. Easier -- Define the iteration logic. • externaliterators: client controls iteration (by requesting next element). More flexible -- Enable collection comparison. • some danger associated with external iterators • e.g., an element of the underlying collection may be removed during iteration. Iterators that can deal with this are called robust. • issue: how to give the iterator access to the underlying collection’s private state • iterators may support additional operations (e.g., skipTo(int), remove) • Java contains an interface java.util.Iterator with hasNext(), next(), remove() methods

  15. Observer: Motivation • A spreadsheet object and bar chart are different presentations of the same application data object. • The data object need not to know about them. • The different presentations do not know about each other. • The presentations should be notified about changes in the data object.

  16. Observer: Solution • Key objects: subject and observer. • A subject may have any number of dependent observers. • All observers are notified whenever the subject changes its state. • Each observer can query the subject to synchronize their states.

  17. Observer: Participants • Subject • knows its observers. any number of observers may observe a subject • provides an interface for attaching/detaching observers • Observer • defines an updating interface for objects that should be notified of changes • ConcreteSubject • stores state of interest to ConcreteObserver objects • sends a notification to its observers when state changes • ConcreteObserver • maintains reference to a ConcreteSubject object • stores state that should stay consistent with subject’s • implements the Observer updating interface to keep its state consistent with the subject’s

  18. Observer: Class Diagram *

  19. Observer: Sequence Diagram

  20. Observer: intent and context • Define a one-to-many dependency between objects so that when one object changes state, all its dependents are notified and updated automatically • apply Observer when • an abstraction has two aspects, one dependent on the other. • a change to one object requires changing others • object should be able to notify other objects without making assumptions about the identity of these objects.

  21. Observer Example • add FileObservers to our FileSystem example. • add a method write(String) to class File to model operations that change a File’s contents • associate FileObservers with Files; notify these after each write • FileObservers print a warning message that the file has changed

  22. Interface Observer & Class FileObserver interface Observer { public void update(); } class FileObserverimplements Observer { FileObserver(File f){ f.attach(this); _subject = f; } public void update(){ System.out.println("file " + _subject.getAbsoluteName() + " has changed."); } private File _subject; }

  23. Updated Class File (1) class File extends Node { File(String n, Directory p, String c){ super(n,p); _contents = c; } public void attach(Observer o){ if (!_observers.contains(o)){ _observers.add(o); } } public void detach(Observer o){ _observers.remove(o); } ...

  24. Updated Class File (2) ... public void notifyObservers(){ for (intt=0; t < _observers.size(); t++){ ((Observer)_observers.elementAt(t)).update(); } } public void write(String s){ _contents = s; notifyObservers(); } private String _contents; private Vector _observers = new Vector(); }

  25. Updated Client public class Main { public static void main(String[] args){ Directory root = new Directory(""); File core = new File("core", root, "hello"); Directory usr = new Directory("usr", root); File bar1 = new File("bar1", usr, "abcdef"); // create observer for file bar1 FileObserverobs = new FileObserver(bar1); bar1.write("abracadabra"); bar1.write("fffff"); bar1.write("gggggg"); } }

  26. Output • file /usr/bar1 has changed. • file /usr/bar1 has changed. • file /usr/bar1 has changed.

  27. Observer: Considerations (1) • Sometimes observers need to observe more than one subject. • who triggers the update? • state-changing subject methods call notify() method, or • make clients responsible for calling notify(). • avoid dangling references when deleting subjects -- Subject notifies its observers about its deletion. • make sure Subject’s state is self-consistent before calling notify (the observers will query the state).

  28. Observer: Considerations (2) • avoiding observer-specific update protocols • push model: subject sends its observers detailed information about the changes • pull model: subject only informs observers that state has changed; observers need to query subject to find out what has changed • specifying modifications of interest explicitly • of interest when observer are interested in only some of the state-changing events: • Subject.attach(Observer, interest) • Observer.update(Subject, interest) • encapsulating complex update semantics • when there is a highly complex relationship between subject and observer, introduce a ChangeManager class to reduce the amount of work.

  29. Visitor: Motivation • A compiler that represents a program as abstract syntax tree. • The set of node classes is fixed for a language • Applies operations like type-checking, code optimization, flow analysis, checking for variables being assigned values before they're used to all nodes. • Operations might change – depend on static semantic analysis.

  30. Visitor: Problem • Distributing all operations across node classes leads to a system that's hard to understand, maintain, and change. • It is confusing to have type-checking code mixed with pretty-printing code or flow analysis code. • Adding a new operation requires recompiling all of these classes. • It would be better if: • each new operation could be added separately • the node classes were independent of the operations that apply to them.

  31. Visitor: Solution • Package related operations in a separate object, called a visitor. • Passing it to elements of the abstract syntax tree as it's traversed. • When an element "accepts visitor ", it sends a request to that visitor , that includes the element as an argument. • The visitor executes the operation for that element—the operation that used to be in the class of the element.

  32. Visitor: Solution

  33. Visitor: Participants • Visitor • declares a visit() operation for each class of ConcreteElement in the object structure • ConcreteVisitor • implements each operation declared by Visitor • Element • defines an operation accept(Visitor) • ConcreteElement • implements operation accept(Visitor)

  34. Visitor: Class Diagram

  35. Visitor: Sequence Diagram

  36. Visitor: Intent and context • represent an operation to be performed on a set of “related classes” without changing the classes. • apply Visitor when: • a hierarchy contains many classes with differing interfaces, and you want to perform operations on these objects that depend on their concrete classes • many distinct and unrelated operations need to be performed on objects, and you want to avoid polluting their classes with these operations. • the classes in the object structure rarely change, but you frequently want to add new operations on the structure.

  37. Visitor: Example • a final variation on the FileSystem example • goal: implement the Unix “du”(disk usage) command using a Visitor (du counts the size of a directory and its subdirectories, usually in 512-byte blocks) • create interface Visitor with methods visit(File), visit(Directory), visit(Link) • create class DuVisitor that implements Visitor • declare accept(Visitor) method in class Node, implement in File, Directory, Link

  38. Interface Visitor interfaceVisitor{ publicvoidvisit(Filef); publicvoidvisit(Directoryd); publicvoidvisit(Linkl); }

  39. Class DuVisitor (1) classDuVisitorimplements Visitor { DuVisitor(){ _nrFiles = 0; _nrDirectories = 0; _nrLinks = 0; _totalSize = 0; } // visit a file publicvoid visit(File f){ _nrFiles++; _totalSize += f.size(); } ...

  40. Class DuVisitor (2) ... // when visiting a directory, visit all its children publicvoidvisit(Directory d){ _nrDirectories++; Iterator it = d.iterator(); for (it.first(); !it.isDone(); it.next()){ Node n = (Node) it.current(); if (n instanceof File){ visit((File) n); } elseif (n instanceof Directory){ visit((Directory) n); } elseif (n instanceof Link){ visit((Link) n); } } } n.accept(this)

  41. Class DuVisitor (3) ... // Does not follow links. Some work would be involved to // avoid counting the same file twice. publicvoidvisit(Link l){ _nrLinks++; } publicvoidreport(){ System.out.println("number of files: " + _nrFiles); System.out.println("number of directories: " + _nrDirectories); System.out.println("number of links: " + _nrLinks); System.out.println("total size of files: " + _totalSize); } int _totalSize; int _nrFiles; int _nrLinks; int _nrDirectories; }

  42. Adding accept methods classFile extendsNode { ... publicvoidaccept(Visitor v){ v.visit(this); } ... } classDirectory extendsNode { ... publicvoidaccept(Visitor v){ v.visit(this); } ... } classLink extendsNode { ... publicvoidaccept(Visitor v){ v.visit(this); } ... }

  43. Client code publicclassMain { publicstaticvoidmain(String[] args){ Directory root = newDirectory(""); File core = newFile("core", root, "hello"); Directory usr = newDirectory("usr", root); File adm = newFile("adm", usr, "there"); Directory foo = newDirectory("foo", usr); File bar1 = newFile("bar1", usr, "abcdef"); File bar2 = newFile("xbar2", usr, "abcdef"); File bar3 = newFile("yybarzz3", usr, "abcdef"); Link link = newLink("link-to-usr", usr, root); Link linkToLink = newLink("link-to-link", link, root); DuVisitor visitor = newDuVisitor(); root.accept(visitor); visitor.report(); } }

  44. Output number of files: 5 number of directories: 3 number of links: 2 total size of files: 28

  45. Visitor: Considerations • adding new operations is easy • a visitor gathers related operations and separates unrelated ones • adding new ConcreteElement classes is hard • gives rise to new abstract operation on Visitor • ...and requires implementation in every ConcreteVisitor • Visitor not limited to classes in a (sub)hierarchy, can be applied to any collection of classes • provided they define accept() methods • Visitor requires that ConcreteElement classes expose enough state so Visitor can do its job • breaks encapsulation

  46. State: Motivation • TCPConnection that represents a network connection. • A TCPConnection object can be in one of several different states: Established, Listening, Closed. • Problem: A TCPConnection object responds differently to requests, depending on its current state.

  47. State: Solution • Key idea: Introduce an abstract class TCPState to represent the states of the network connection. 1

  48. State: Participants • Context • defines interface of interest to clients • maintains reference to a ConcreteState subclass that defines the current state • State • defines an interface for encapsulating the behavior associated with a particular state of the Context • ConcreteState subclasses • each subclass implements a behavior associate with a state of the Context (by overriding methods in State)

  49. State: Class Diagram

  50. State: Intent and context • Allow an object to change its behavior when its internal state changes • use State when: • an object’s behavior depends on its state • operations have large conditional statements that depend on the object’s state (the state is usually represented by one or more enumerated constants)

More Related