... Feng¹

Email: thomas@email.com.cn
Homepage: http://moncs.cs.mcgill.ca/people/tfeng/

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... aspect²

Though aspect is a term from another branch of software engineering, it very appropriately refers to a common feature in different programming languages here.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... semantics³

The role of syntax definition is quite like UML, which only defines the syntax without any notation about the actual semantics. Action semantics helps to rigorously define the semantics.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... model⁴

Though this work is only done in the detailed design and implementation phases, it needs to be done at some point.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... model⁵

The model itself is more like a code template in this sense.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... objects⁶

A link of binary association class connects two objects; other kinds of links each connect more objects.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... message⁷

This does not mean the requested object is completely idle. It may process multiple messages at the same time, provided that its implementation allows this.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... object⁸

Be reminded that the classifier of the object may change at run-time.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.