Introducing Objectcharts or how to use Statecharts in object-oriented design
1992
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. >
Keywords:
- Computer science
- Discrete mathematics
- Theoretical computer science
- Object-oriented design
- State diagram
- Object-oriented programming
- Putnam model
- Formal specification
- Subtyping
- Systems engineering
- Goal-Driven Software Development Process
- Software sizing
- Software development process
- Notation
- Finite-state machine
- Data structure
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
42
References
295
Citations
NaN
KQI