CatColab

A collaborative environment for formal, interoperable, conceptual modeling”