Sofismo AG propose des spécifications formelles des exigences et des outils de modélisation orientés modèle pour accompagner le développement de produits et de solutions. Elle fournit des prestations telles que l'analyse de domaine, l'architecture métier, la capture des exigences, la gestion des exigences, l'architecture de solution, des infrastructures d'automatisation et des équipes de support, et développe l'outil Gmodel ainsi que des bibliothèques de langages de modélisation.