Graphical specification of object oriented systems

Abstract

The graphical notation Objectcharts, introduced in this paper, allows a developer to precisely specify the behaviour of object classes and to reason about the behaviour of particular configurations of objects. Objectcharts combine object oriented analysis and design techniques and Harel's statecharts to give a diagrammatic specification technique for object oriented systems.

A survey of structured and object-oriented software specification methods and techniques

“…Fusion is a method defined after an analysis of early object-oriented methods like OMT, Booch, and Objectory [Bear et al 1990;Coleman et al 1992Coleman et al , 1994Hayes and Coleman 1991]. These methods were analyzed using a dialect of the formal specification language VDM as a tool.…”

Oasis: An object-oriented specification language

“…Each construct is defined in this section and is illustrated in the Oasis language. The alarm clock system presented in section 4 and in [1] illustrates the ideas. Other examples are presented in [11].…”

“…We can break it down by means of the projection operator, resp. C [1], C [2]. It will give us the class surrogates of the components (C1 and C2 class surrogates respectively).…”

“…An alarmclock trace will be composed of any correct sequence of events of the component classes as defined in [1].…”