CSC/ECE 517 Fall 2009/wiki2 15 ms
Introduction
"Object-oriented programming is a method of implementation in which programs are organized as cooperative collections of objects, each of which repressents an instance of some class, and whose classes are all members of a hierarchy of classes united via inheritance relationships."taken from Object-Oriented Analysis and Design by Grady Booch
For all the things that we define as object oriented, the main framework is the object model. An object model can be defined as the collection of principles that form the foundation of object oriented design. The main elements of an object model are -:
- Abstraction
- Encapsulation - It means that object's data is hidden in the object and access to it is limited to the members of the class.
- Modularity - It means making a software as a collection of different modules which have different functionality.
- Hierarchy - It enables classifying relationship between objects.
The goal of this article is to describe how abstraction relates to object oriented languages.
Definition of Abstraction
Abstraction (from the Latin abs, meaning away from and trahere, meaning to draw) is the process of taking away or removing characteristics from something in order to reduce it to a set of essential characteristics.[taken from What is abstraction?]
An alternate definition given in the book object oriented analysis and design,states that-:
"An abstraction denotes the essential characteristics of an object that distinguish it from all other kinds of objects and thus provide crisply defined conceptual boundaries,relative to the perceptive of the viewer."
The gist is that abstraction is a concept wherein all but the relevant information about an object is hidden in order to reduce complexity and increase the efficiency. This concept even applies in the field of arts wherein an object or a piece of art created by an artist is a representation of the original model with all the unwanted details removed.
In other words it is nothing but recognizing the similarities between objects and ignoring for some time their differences. It focuses on the outside view of the object and separate it's behavior from it's implementation.
|
|
Abstraction focuses on the essential characteristics of some object, relative to perspective of the viewer.
The above picture shows a car which is being viewed by two people. One of them is a mechanic and the other is a layman. Now when mechanic thinks of a car, what comes to his mind are it's parts, mileage etc. When a layman thinks about a car, what comes to his mind is color of the car, the look etc. Hence each person sees the same object in a different light.
Types of abstractions
There are different types of abstractions as suggested by Seidewitz and Stark of which some closely model problem domain entities These are as following (mentioned in the order of their usefulness) -:
- Entity abstraction - Object represents a useful model of a problem domain entity.
- Action abstraction - Object provides a set of operations which have the same functionality
- Virtual Machine abstraction - This is where an object groups together operations that are all used by some superior level of control, or operations that all use some junior-level set of operations.
- Conincidental abstraction - An object that puts together a set of operations that are not co-related
Entity abstractions is what is used widely because it directly relates to a given problem domain.
Key Abstractions
A abstraction which describes the system is referred as a key abstraction. They give boundaries to our problem.They highlight things that are more relevant to our system and hence to the design and suppress the things that are outside the system. There are two important steps in identifying the key abstractions. These are -:
- Discovery : Discovery is the process of recognizing the abstraction used in the design of the system.
For example, a customer doing a bank transaction speaks in terms of accounts,deposits and withdrawals; these works are part of the vocabulary of the problem domain.
- Invention : Through invention, we can create new classes and objects that are not necessarily part of the problem domain, but are useful in design and implementation.
For example A developer of such a system uses these same abstractions, but must also introduce new ones, such as databases, screen mangers, lists, queues and so on. These key abstractions are artifacts of the particular design, not of the problem domain.
Abstraction in Different O-O languages
Java
Java implements abstraction using Abstract classes and methods. Any class which cannot be instantiated and contains one or more abstract methods in referred as an Abstract class in JAVA. Such class can only be inherited.
The code shown below is an implementation of the picture example given previously. Here, there is an abstract class called 'Car' which contains an abstract method called 'thingsILookFor()'. Classes 'Mechanic' and 'LayMan' extend the class 'Car'. Each of these classes implement the method relative to their own perception of the method thingsILookFor().
Example : Java code for the above figure.
/* The abstract class car is extended by both the classes Mechanic and LayMan. */
/* They implement the abstract method thingsILookFor */
/* according to what they consider important in a car */
public abstract class Car {
abstract void thingsILookFor();
}
public class Mechanic extends Car {
private int enginePower;
private int carMileage;
void thingsILookFor() {
enginePower = 1000;
carMileage = 32;
}
}
public class LayMan extends Car {
private string color;
private int seats;
void thingsILookFor() {
color = "yellow";
seats = 4;
}
C++
Abstract classes: These classes can be used as a framework to build new classes that provide new functionality. These class have one or more virtual function. Functions of the base class whose functionality can be overridden by functions of the derived class at run time are called virtual functions.
In the code below the Class 'Car' has a virtual function 'things_I_like'. This method is implemented by the Class Mechanic and LayMan according the perspective of the class.
class Car
{
public:
virtual void things_I_like()
{
cout << " No method implementation \n";
}
}
class Mechanic:public car
{
public:
virtual void things_I_like()
{
cout << " I like the car to have a powerful engine\n";
}
}
class LayMan:public car
{
public:
virtual void dump()
{
cout << " I like the car to be spacious and have bright colors\n";
}
}
Ruby
Ruby has no Abstract classes like in Java or Virtual function like in C++, but the same functionality can be implemented as follows.
In this example the class 'Car' has not implemented the method 'thingsILike()'. Suppose the class 'Mechanic' and 'LayMan' were not defined and now if we call Car.new.thingsILike, it will raise an error. Hence this method needs to be implemented by the subclasses as shown in the example.
In the code below the method 'thingsILike' is implemented differently by the class Mechanic and LayMan. They implement the method according to the context in which they see the class 'Car'.
class Car
def thingsILike()
raise NotImplementedError.new("no implementation found \n")
end
end
class Mechanic < Car
def thingsILike()
puts " I like the horse power of the engine and the mileage \n"
end
end
class LayMan < Car
def thingsILike()
puts " I like the color \n"
end
end
References
- Definition of Abstraction
- Key Abstraction
- Object Oriented Programming - Abstraction
- What is meant by abstraction?
- What is abstraction?
- A discussion on object oriented programming
- An example on Anstraction
- A paper on "Toward a general object-oriented software development methodology"
- An article on Abstraction by Bjarne Stroustrup