Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method