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.
- 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.