Chapter 9, Object Design: Specifying Interfaces

Slides:



Advertisements
Similar presentations
Design by Contract.
Advertisements

Conquering Complex and Changing Systems Object-Oriented Software Engineering Chapter 7, Object Design.
Bernd Bruegge & Allen H. Dutoit Object-Oriented Software Engineering: Using UML, Patterns, and Java 1 Example of a Problem Statement: Introduction into.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 9, Object Design: Specifying Interfaces.
Object Design: Specifying Interfaces Chapter 9. 2 Object Design  Object design is the process of adding details to the requirements analysis and making.
Object-Oriented Analysis and Design
Chapter 9: Object Design: Specifying Interfaces
Unified Modeling (Part I) Overview of UML & Modeling
Conquering Complex and Changing Systems Object-Oriented Software Engineering Chapter 7, Object Design.
Feb. 23, 2004CS WPI1 CS 509 Design of Software Systems Lecture #5 Monday, Feb. 23, 2004.
Ranga Rodrigo. Class is central to object oriented programming.
Liang, Introduction to Java Programming, Sixth Edition, (c) 2007 Pearson Education, Inc. All rights reserved Chapter 12 Object-Oriented.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 9, Object Design: Specifying Interfaces.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 4, Requirements Elicitation.
Low-Level Detailed Design SAD (Soft Arch Design) Mid-level Detailed Design Low-Level Detailed Design Design Finalization Design Document.
Requirements as Usecases Capturing the REQUIREMENT ANALYSIS DESIGN IMPLEMENTATION TEST.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 9, Object Design: Specifying Interfaces.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 9, Object Design: Specifying Interfaces.
Bernd Bruegge & Allen H. Dutoit Object-Oriented Software Engineering: Using UML, Patterns, and Java 1 Few comments about midterm I graded very lightly.
1 Software Requirements l Specifying system functionality and constraints l Chapters 5 and 6 ++
Part VII: Design Continuous
CSC 480 Software Engineering Design by Contract. Detail Design Road Map Begin with architectural models  Class model: domain classes  Overall state.
Liang, Introduction to Java Programming, Sixth Edition, (c) 2007 Pearson Education, Inc. All rights reserved Chapter 11 Object-Oriented.
Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.
CEN th Lecture Advance Software Engineering (CEN-5011) Instructor: Masoud Sadjadi Object Design: Specifying.
Object Design More Design Patterns Object Constraint Language Object Design Specifying Interfaces Review Exam 2 CEN 4010 Class 18 – 11/03.
1 Team Skill 3 Defining the System Part 1: Use Case Modeling Noureddine Abbadeni Al-Ain University of Science and Technology College of Engineering and.
Using UML, Patterns, and Java Object-Oriented Software Engineering Chapter 9, Object Design: Specifying Interfaces.
JAVA: An Introduction to Problem Solving & Programming, 5 th Ed. By Walter Savitch and Frank Carrano. ISBN © 2008 Pearson Education, Inc., Upper.
Bernd Bruegge and Allen Dutoit Requirements Process The requirements process consists of two activities: Requirements Elicitation: Definition of the system.
CompSci 280 S Introduction to Software Development
Analysis Classes Unit 5.
CompSci 280 S Introduction to Software Development
Chapter 1: Introduction to Systems Analysis and Design
Design by Contract Jim Fawcett CSE784 – Software Studio
Design by Contract Jim Fawcett CSE784 – Software Studio
Chapter 4 – Requirements Engineering
Chapter 4 – Requirements Engineering
Chapter 5 – Requirements Engineering
Used to help understand requirements more completely
Object-Oriented Analysis and Design
Example of a Problem Statement: Introduction into ARENA
Chapter 11 Object-Oriented Design
TIM 58 Chapter 8: Class and Method Design
Chapter 4, Requirements Elicitation
Chapter 9, Object Design: Specifying Interfaces
Example of a Problem Statement: Introduction into ARENA
Object Oriented Analysis and Design
Chapter 9, Object Design: Specifying Interfaces
Chapter 9, Object Design: Specifying Interfaces
Lecture 22 Inheritance Richard Gesick.
Example of a Problem Statement: Introduction into ARENA
Chapter 4 Entity Relationship (ER) Modeling
Chapter 20 Object-Oriented Analysis and Design
Object oriented analysis and design
CIS 375 Bruce R. Maxim UM-Dearborn
CS310 Software Engineering Dr.Doaa Sami
Object Design Object design is the process of adding details to the requirements analysis and making implementation decisions The object designer must.
Analysis models and design models
Chapter 19: Interfaces and Components
Chapter 19: Interfaces and Components
Protocols CS 4311 Wirfs Brock et al., Designing Object-Oriented Software, Prentice Hall, (Chapter 8) Meyer, B., Applying design by contract, Computer,
Software Engineering System Modeling Chapter 5 (Part 1) Dr.Doaa Sami
Introduction to Data Structure
CIS 375 Bruce R. Maxim UM-Dearborn
Interfaces and Components
Chapter 1: Introduction to Systems Analysis and Design
Software Development Process Using UML Recap
Chapter 19: Interfaces and Components
From Use Cases to Implementation
Presentation transcript:

Chapter 9, Object Design: Specifying Interfaces

MDE- Universe Requirements OOSE- Galaxy Analysis Requirements Elicitation (Ch.4) Introduction (Ch 1-3) Functional Model Nonfunctional Requirements Use Case Diagrams OOSE- Galaxy Analysis (Ch.5) Analysis Object Model Dynamic Model Class Diagrams Statechart Diagrams Sequence Diagram Analysis

Subsystem Decomposition Ways to Go System design (Ch. 6 & 7) System Design … Design Goals Subsystem Decomposition Concurrency Hardware Software Mapping Object design (Ch. 8 & Ch 9) Object Design Model Class Diagram Design Patterns Object Design Mapping Models (Ch. 10) Source Code Testing (Ch. 11) Deliverable System Methodologies (Ch. 16) Software Lifecyle (Ch. 15)

Outline of today’s Lecture Object Design Activities Visibilities Information Hiding Contracts OCL.

Requirements Analysis vs. Object Design Requirements Analysis: The functional model and the dynamic model deliver operations for the object model Object Design: Decide where to put these operations in the object model Object design is the process of adding details to the requirements analysis making implementation decisions Thus, object design serves as the basis of implementation The object designer can choose among different ways to implement the system model obtained during requirements analysis. Object design is the process of adding details to the requirements analysis and making implementation decisions The object designer must choose among different ways to implement the analysis model with the goal to minimize execution time, memory and other measures of cost. Requirements Analysis: The functional model and the dynamic model deliver operations for the object model Object Design: We decide on where to put these operations in the object model Object design serves as the basis of implementation

Object Design: Closing the Final Gap System Problem Application objects Requirements gap Solution objects Object design gap Custom objects Off-the-shelf components System design gap Machine

Developers play 3 different Roles during Object Design of a Class Class User Call the Class Developer Class Implementor Realize the Class (Implement it) Class Extender Refine the Class (Implement a subclass)

Class user versus Class Extender The Developer responsible for the implementation of Game is a class implementor The developer responsible for the implementation of League is a class user of Game League Game 1 * TicTacToe Chess Tournament The developer responsible for the implementation of TicTacToe is a class extender of Game

Specifying Interfaces Requirements analysis activities Identify attributes and operations without specifying their types or their parameters Object design activities Add visibility information Add type signature information Add contracts. A constraint is a restriction on the degree of freedom you have in providing a solution (Leffingwell & Widrig 2000). Constraints are effectively nonfunctional requirements, such as limited development resources or a decision by senior management that restricts the way you develop a system

Add Visibility Information Developer Call Class Class Extender Class Implementor Class User Realize Class Refine Class Class user (“Public”): + Public attributes/operation can be accessed by any class Class implementor (“Private”): - Private attributes and operations can be accessed only by the class in which they are defined They cannot be accessed by subclasses or other classes Class extender (“Protected”): # Protected attributes/operations can be accessed by the class in which they are defined and by any descendent of the class. UML defines three levels of visibility: - Private => Class implementor: A private attribute can be accessed only by the class in which it is defined. A private operation can be invoked only by the class in which it is defined. Private attributes and operations cannot be accessed by subclasses or other classes. # Protected => Class extender: A protected attribute or operation can be accessed by the class in which it is defined and by any descendent of the class. + Public => Class user: A public attribute or operation can be accessed by any class.

Implementation of UML Visibility in Java Tournament - maxNumPlayers: int + acceptPlayer(p:Player) + removePlayer(p:Player) + getMaxNumPlayers():int + getPlayers(): List + isPlayerAccepted(p:Player):boolean public class Tournament { private int maxNumPlayers; public Tournament(League l, int maxNumPlayers) public int getMaxNumPlayers() {…}; public List getPlayers() {…}; public void acceptPlayer(Player p) {…}; public void removePlayer(Player p) {…}; public boolean isPlayerAccepted(Player p) {…};

Information Hiding Heuristics Carefully define the public interface for classes as well as subsystems For subsystems use a façade design pattern if possible Always apply the “Need to know” principle: Only if somebody needs to access the information, make it publicly possible Provide only well defined channels, so you always know the access The fewer details a class user has to know the easier the class can be changed the less likely they will be affected by any changes in the class implementation Trade-off: Information hiding vs. efficiency Accessing a private attribute might be too slow. Information hiding is not a major issue during analysis, however during design it is a problem. Limit the effect of changes so that changes can be understood clearly and do not cause a major recompilation of the whole system (also called black box design) Accessing a private attribute might be too slow (for example in real-time systems or games)

Information Hiding Design Principles Only the operations of a class are allowed to manipulate its attributes Access attributes only via operations Hide external objects at subsystem boundary Define abstract class interfaces which mediate between the external world and the system as well as between subsystems Do not apply an operation to the result of another operation Write a new operation that combines the two operations.

Add Type Signature Information Hashtable put() get() remove() containsKey() size() numElements:int Attributes and operations without visibility and type information are ok during requirementsanalysis Hashtable +put(key:Object,entry:Object) +get(key:Object):Object +remove(key:Object) +containsKey(key:Object):boolean +size():int -numElements:int During object design, we decide that the hash table can handle any type of keys, not only Strings.

Outline of Today’s Lecture Object Design Activities Visibilities Information Hiding Contracts

Modeling Constraints with Contracts Example of constraints in Arena: An already registered player cannot be registered again The number of players in a tournament should not be more than maxNumPlayers One can only remove players that have been registered These constraints cannot be modeled in UML We model them with contracts Contracts can be written in OCL.

Contract Contract: A lawful agreement between two parties in which both parties accept obligations and on which both parties can found their rights The remedy for breach of a contract is usually an award of money to the injured party Object-oriented contract: Describes the services that are provided by an object if certain conditions are fulfilled services = “obligations”, conditions = “rights” The remedy for breach of an OO-contract is the generation of an exception. Contract: A univocal lawful agreement between two parties in which both parties accept obligations and on which both parties can found their rights. The remedy for breach of contract is usually an award of money damaged intended to restore the injured party to the economic position expected from the performance of the promises in the contract. Object-oriented Contract: Describes the services that are provided by an object, if certain conditions are fulfilled. Services = “Obligations”, Conditions = “Rights” The remedy for breach of OO-contracts is the generation of an exception Although the notion of contract is derived from law practice, it is not completely analogous when employed in object-oriented development A contract offered by an object exists independently of the presence of any client From: http://en.wikipedia.org/wiki/Contract Typically, the remedy for breach of contract is an award of money damages intended to restore the injured party to the economic position that he or she expected from performance of the promise or promises (known as an "expectation measure" of damages).Occasionally a court will order a party to perform his or her promise (an order of "specific performance") or to compensate for the value bestowed ("quantum meruit" or unjust enrichment), but these remedies are unusual. In the civil law, contracts are considered to be part of the general law of obligations.Contract claims (where there is usually some kind of preexisting relationship between the parties) are usually contrasted against tort claims (where there may be no such relationship).

Object-Oriented Contract An object-oriented contract describes the services that are provided by an object. For each service, it specifically describes two things: The conditions under which the service will be provided A specification of the result of the service Examples: A letter posted before 18:00 will be delivered on the next working day to any address in Germany For the price of 4 Euros a letter with a maximum weight of 80 grams will be delivered anywhere in the USA within 4 hours of pickup. An object-oriented contract describes the services that are provided by an object. For each service, it specifically describes two things: The conditions under which the service will be provided A specification of the result of the service that is provided, given that the conditions are fulfilled. Examples: A letter posted before 18:00 will be delivered on the next working day to any address in Germany. For the price of 4 Euros a letter with a maximum weight of 80 grams will be delivered anywhere in Germany within 4 hours of pickup.

Object-Oriented Contract An object-oriented contract describes the services that are provided by an object. For each service, it specifically describes two things: The conditions under which the service will be provided A specification of the result of the service that is provided. Examples: A letter posted before 18:00 will be delivered on the next working day to any address in Germany. For the price of 4 Euros a letter with a maximum weight of 80 grams will be delivered anywhere in Germany within 4 hours of pickup. An OO-contract is different from a (normal) contract It can exist independently of the presence of any client In the following, whenever we use the term contract alone, we mean an OO-contract.

Modeling OO-Contracts Natural Language Mathematical Notation Models and contracts: A language for the formulation of constraints with the formal strength of the mathematical notation and the easiness of natural language:  UML + OCL (Object Constraint Language) Uses the abstractions of the UML model OCL is based on predicate calculus Natural Language: Advantage: Contract partners already know the language Disadvantage: When using natural language, one often makes implicit assumptions about the rights and obligations of the contract partners Mathematical Notation: Advantage: The contract can be precisely and uniquely specified Disadvantage: Normal customers are not mathematicians Models and contracts: A language for the formulation of constraints with the formal strength of the mathematical notation and the easiness of natural language:  UML + OCL (Object Constraint Language) Uses the abstractions of the UML model OCL is based on predicate calculus

Contracts and Formal Specification Contracts enable the caller and the provider to share the same assumptions about the class A contract is an exact specification of the interface of an object A contract include three types of constraints: Invariant: A predicate that is always true for all instances of a class Precondition (“rights”): Must be true before an operation is invoked Postcondition (“obligation”): Must be true after an operation is invoked. Contracts enable the caller and provider to share the same assumptions about the class. A contract is an exact specification of the interface of an object. A contract include three types of constraints: Invariant: A predicate that is always true for all instances of a class. Invariants are constraints associated with classes or interfaces. Precondition (“rights”): Preconditions are predicates associated with a specific operation and must be true before the operation is invoked. Postcondition (“oblicgation”): Postconditions are predicates associated with a specific operation and must be true after an operation is invoked. If the invariants, rights and oblications in the contract are unambigious, the contract is called a formal specification Preconditions are used to specify constraints that a caller must meet before calling an operation. Postconditions are used to specify constraints that the object must ensure after the invocation of the operation.

Formal Specification A contract is called a formal specification, if the invariants, rights and obligations in the contract are unambiguous.

Expressing Constraints in UML Models A constraint can also be depicted as a note attached to the constrained UML element by a dependency relationship. <<invariant>> numElements >= 0 <<precondition>> !containsKey(key) HashTable put(key,entry:Object) get(key):Object remove(key:Object) containsKey(key:Object):boolean size():int numElements:int <<postcondition>> get(key) == entry <<precondition>> containsKey(key) <<postcondition>> !containsKey(key) <<precondition>> containsKey(key)

Why not use Contracts already in Requirements Analysis? Many constraints represent domain level information Why not use them in requirements analysis? Constraints increase the precision of requirements Constraints can yield more questions for the end user Constraints can clarify the relationships among several objects Constraints are sometimes used during requirements analysis, however there are trade offs

Requirements vs. Object Design Trade-offs Communication among stakeholders Can the client understand formal constraints? Level of detail vs. rate of requirements change Is it worth precisely specifying a concept that will change? Level of detail vs. elicitation effort Is it worth the time interviewing the end user Will these constraints be discovered during object design anyway? Testing constraints If tests are generated early, do they require this level of precision?

Outline of today’s Lecture Object Design Activities Visibilities Information Hiding Contracts OCL.

To be continued in OCL Lecture