File:RodinWorkshopPresentation.pdf

The development of correct abstract models is a creative task and one of the major challenges in the construction of design models. This, along with the fact that software systems tend to evolve makes the challenge of writing good abstract models even harder. Our research addresses this challenge. We are exploring different ways of giving support to the user on design decisions, more pecifically, on decisions about UML-B designs. In order to do so, we are investigating the role of patterns and anti-patterns within UML-B models, i.e., common patterns of design behaviour and design flaws, respectively. Also, we will investigate the way in which formal reasoning can inform UML-B designs about defects in the models, so that through this feedback (unproven proof obligations, counter-examples, etc.) we can suggest potential improvements to the design.