Issue No. 01 - January (1992 vol. 18)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.120312
<p>A notation called Objectcharts for specifying object classes is introduced. An Objectchart diagram is an extended form of a Statechart, which characterizes the behavior of a class as a state machine. The Objectchart transitions correspond to the state-changing methods that the class provides and those that it requires of other classes. Object attributes and observer methods annotate Objectchart states. Firing and postconditions are used to specify the effect of transitions on class attributes. The Objectchart notions is described through the development of an alarm clock application. How Objectcharts can be used to find subtyping inheritance relationships between classes and a systematic approach for evolving Objectchart specifications are shown.</p>
object classes; Statechart; state machine; Objectchart transitions; state-changing methods; observer methods; Objectchart states; postconditions; Objectchart notions; alarm clock application; subtyping inheritance relationships; Objectchart specifications; data structures; diagrams; formal specification; object-oriented programming
D. Coleman, F. Hayes and S. Bear, "Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design," in IEEE Transactions on Software Engineering, vol. 18, no. , pp. 9-18, 1992.