Since the use of gUFO is growing in popularity, and gUFO being very similar to ontouml, I'd expect adding a service to the ontouml-server in support of verification, summarisation, modularisation and visualisation of gUFO-models not all too difficult.
Are there any plans into this direction? I know our organisation is in demand for such a service.
Best
Paul Brandt