Standards Development

Scope

Develop an ISO/IEC IS or directive for Model-Based Standards (MBS) Authoring (MBSA), which specifies how to create a new IS or evolve an exiting IS, such that rather than being based on free text, it shall be based on an ISO 19450 OPM model. The new IS will itself be prepared based on the specification it contains, thus it will be the first MBSA IS and will serve both as a specification and an example of how to create the new generation of model-based ISO ISs.

Purpose

The current way of authoring ISO/IEC ISs is writing the specification in free natural language text. As research and experience have shown, this approach is prone to inconsistencies, discrepancies, omissions, and contradictions that are not amenable to being verifiable, as it cannot be formally checked. Basing the new generation of ISs on models will enable their formal checking via the model, so the likelihood of revealing such problems shall be significantly higher. Using the model inconsistencies, discrepancies, omissions, and contradictions can be prevented in the first place or spotted both statically, during build time, while those that escape detection can be found dynamically, by a simulated execution of the model.

The proposed IS will enable (1) authors of new MBA ISs and those revising existing ones to follow this MBSA IS, ensuring that the new or revised MBS is devoid of inconsistencies, discrepancies, omissions, and contradictions, and (2) end-users of the MBS to be confident that the MBS they adhere to is consistent and complete.