It would be nice to have a set of general recommendations and requirements for users asking "How to model X", "Applications of theory", and "How to do X" questions where X is an informal task (i.e. not stated in a clear mathematically rigorous way). Having such a list of recommendations and requirements would help the OPs of those post in improving the quality of their question and make it easier for others to answer them.
MathOverflow has a set of general suggestions on its "How to ask" page, and we also have some other general suggestions in our FAQ. If you have any suggestion please post it below as an answer.
Related meta-discussions:
- How-to-model-this questions
- How to deal with "How to do X?" questions where X is a very high-level (software engineering) task
I have created a wiki for formal-modeling tag.