Why isn't there a requirement that all software / business method patent applications be formally specified ?
Formal methods has been around / best practice in the [Software] Engineering spheres for 30+ years, the methods and syntax are codified, and there are automated tool to verify whether a specification is complete.
I'm aware there's a steep learning curve, and formally specifying a concept / system is time consuming, and obviously by the very nature of being formally specified the domain (scope) of any specification will be explicitly stated / limited. So may require multiple derivative variants to be produced for different domains.
Anyway if the only valid software patents are now those requested via a means plus function application, that includes a robust technical disclosure and complete algorithm, this approach appears well suited to ensure the application contains both a robust technical disclosure and complete algorithm, for the limited means stated.
Most formal methods are also very bad at defining abstract concepts, as they rely on paradigms, so if you're having difficulty specifying a concept it's pretty likely patent ineligible subject matter is involved (or you should change your day job).