Graphical Editor and Verivier of Context-Oriented Models