Analysis by Contract or UML with Attitude

This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the vocabulary needed to specify the behaviour of a video store system. Behaviour is modelled as events, such as the renting of a video by a member of the video store. It also shows how state models can be used to enrich the vocabulary of the type model. The specifications of behaviour are in the form of contracts, with preconditions and postconditions. The "with attitude" part of the sub-title comes from the use of the Object Constraint Language to express the contracts, and to cross-reference the vocabulary of the state models to the vocabulary of the type models. This paper is

• Type: Conference
• Year: 1999
• Where: TOOLS
• Authors: Richard Mitchell
• Keywords: Programming Languages, State Models, TOOLS 1999, Type Models, Video Store