Characterize how the behavior of objects may be modeled by means of a transition system and specify a transition system for a simple object-oriented language.