A collaborative environment for formal, interoperable, conceptual modeling - View it on GitHub