Sourcecode is a model

If you make To-The-Scale, albeit, smaller one, "copy" of a building, you will call it a model of building, won't you? In the same sense, source code is also model of executable software. Compiler takes information from source code and converts it to executable software.

UML can model your source code, then. So, if we see in details here is ordered set of "Models". Ordering criteria is amount of abstraction.

UML - Source Code - Binary - Running Software

as you look at this,
1. UML can be used to model any of source code, Binary, running software.
2. Psuedo source code can be used to model Binary
3. Transformation from UML to running software involves CASE tools, UML tools, Compiler, Platform specific tools, Libraries and Software Mechanisms, OS, OS tools.
4. To me, highest difference of abstraction between adjacent things is between Binary and Running software. UML to source code is almost one to one. Source code to Binary is one to many. Binary to Running sofware involves time dimension.
5. To solve Software engineering problems, we need some thing between Binary and Running software - Jave and .Net has tried this by providing runtimes.

Q & A

Q: When you make a decision, what matters?
A: Context (State/Conditions of environment, involved system(s) and decision-maker)

Q: If you do not really do addition operation, does 1+1 still becomes 2?
A: It is irrelevant.
(Does 1+1=2 imply any timeline?)

Q: If god made world, who made god?
A: World ;-)

Q: If you do not invent a concept, does it exist?
A: If nobody has invented it, then it does not exist in our knowledge domain.
(Do concepts exist in themselves?)

Q: If you do not discover a piece of land, does it exist?
A: If nobody has discovered it, then it does not exist in our knowledge domain.
(Are physical existance and logical existance different?)

Q: If you do not know Mia living in Sanfransisco, does she exist?
A: If you do not know it, then she does not exist in your knowledge domain.
(Sometime Q contains information which makes Q itself absurd.)

Obvious is so obscure...

It is obvious that only thing we have is time. Is it obvious throughtout the day?
It is obvious that we all want happiness. Is it obvious in the way we act?
It is obvious that honesty and loyalty are good traits of a man. Is it obvious in the way we appreciate such men?