Graphical Editor and Verifier for Context-Oriented Models