Conceptual model simulation
Check if your ontology "says" exactly what you think it does. With our simulation component, your ontology is automatically translated to Alloy (a language for describing structures and a tool for exploring them), allowing you to visually explore its possible instantiations and check properties you expect to hold.
Possible x intended instantiations
That is mainly what the simulation component is all about: confronting you with your modeling decisions, so you can check if if your ontology is neither over or under-constrained.
Simulate your ontology by parts
Validate only a single diagram, a whole package or any given subset of your ontology. We know ontologies tend to get really big, really fast, so feel free to simulate it suits you.
Customizable transformation to Alloy
Configure the transformation from OntoUML to Alloy to enable you to simulate partial or incomplete ontologies.
Simulate your model and your constraints together
Make sure that not only your OntoUML model is correct, but your constraints are as well.
Simulate to learn OntoUML
OntoUML's formal semantics is completely capture in our transformation to Alloy. So, if you don't know the implications of choosing an ontological category over another, simulate away and find out!
Semantic anti-patterns are almost like regular modeling patterns, they are both solutions for recurrent modeling problems. The big difference is that instead of a validated solution that has been proven to work, an anti-pattern is a solutions that is prone to lead to domain misrepresentations.
Built-in anti-pattern library
Our built-in anti-pattern library comes from experience. Over the years, we have analyzed numerous OntoUML ontologies to identify those "not so great" solutions that keep coming up.
Automatic anti-pattern detection
Don't worry, you will not have to learn our whole anti-pattern library to check your models for them. Menthor Editor features a full automatic component that identify anti-pattern occurrences.
Guided anti-pattern analysis
To help you decide wether an anti-pattern occurrence indeed characterizes a modeling mistake, we provide a wizard that will ask you just the right questions.
Automatic anti-pattern correction
Whenever you and our anti-pattern wizard decide that an anti-pattern occurrence is an error, it will give you the appropriate solution and, if you let it, it will fix your ontology for you.