Model-based standards authoring: ISO 15288 as a case in point

ISO/IEC/IEEE 15288:2015 is one of the most fundamental systems engineering international standards. In this work, the major system lifecycle processes specified in 15288 and, equally importantly, the objects interacting through them, are modeled meticulously using OPM ISO 19450. The conceptual model, based on this standard's text, reflects the implied authors' intent, bringing up ambiguities that arise from the informality of natural language text and reference to related figures. The resulting OPM model is an exact, formal, and detailed expression of the processes and related objects in the first part of 15288, making it machine interpretable. The gaps discovered during the modeling process are testimony to the value of the model-based standards authoring approach and the centrality of a formal yet humanly accessible model as the underlying backbone of international standards and key technical documents in general.

Automated summary

ISO/IEC/IEEE 15288:2015 is a crucial international standard in systems engineering, which meticulously models the major system lifecycle processes specified in 15288 and the objects interacting through them using OPM ISO 19450. The resulting OPM model serves as an exact, formal, and detailed expression of these processes and related objects, making it machine interpretable. The gaps discovered during the modeling process highlight the value of a model-based standards authoring approach and the importance of a formal yet humanly accessible model as the foundation for international standards and key technical documents.