From figure 1 it
may be noticed that the abstraction of the process
program aspects may be reached both from the program and from the
program execution. The reason is that a program (considered
as the source) contains both
structural aspects and process aspects. Consequently, it is possible to
focus on the process aspects from an abstraction applied on the (source) program
as well as via an abstraction applied on the program execution.