There are several challenges for those wishing to build precise models during object-oriented analysis. One is to find and maintain a suitable level of abstraction - it is easy to be pulled downwards to the familiar world of programming languages in order to achieve precision. Another is to make sure that different kinds of modelling (static structure, behaviour specifications, state models, and so on) are cross-referenced, to ensure that they contribute to a single underlying model.
Using extracts from a small case study, this seminar explores how these challenges can be met. It does not propose a method with an underlying process. Rather, it explores the technical background against which a development process could be defined.
The seminar shows how the ideas of design by contract can be applied during analysis, so that specifications of behaviour are in the form of contracts, with preconditions, postconditions and invariants. It shows how a type model of a system can provide the vocabulary needed to support the specifations of behaviour, and how state models can be used to enrich this vocabulary.
| Page d'accueil Irisa | Séminaires
Irisa 1999 | Manifestations
scientifiques | Comment se rendre
à l'Irisa ? |
webmaster@irisa.fr, janvier 1999