context View {
  constraint WrongName {
      check : self.name <> 'wrong'
      message : 'the view has a wrong name'
  	  fix {
          title : 'Rename to correct'
          do {
              self.name := 'correct';
          }
      }
  }
}