Basic Design Concepts

This chapter introduces the first set of basic design concepts along with specification language elements to formally represent them. When considering an object of design, we make a sharp distinction between the object as a carrier of a behaviour, i.e., its possible existence as a real world object, and the behaviour itself. We use this distinction to categorise our basic design concepts.