Method of Checking Consistency of a UML Model Based on Rewriting Logic.
⇑ Translate the sentence above by Google ⇑
Related: rewrite
Prev: The first line turns the rewrite engine on.
Next: Rewrite, redo, and rearrange.
