A goal of the industrial internet is to make information about manufacturing processes and resources available wherever decision making may be required. Agile use of information is a cornerstone of data analytics, but analytical methods more generally, including model-based investigations of manufacturability and operations do not so easily benefit from this data. Rather than relating anonymous patterns of data to outcomes, these latter analytical methods are distinguished as relying on conceptual or physics-based models of the real world. Such models require careful consideration of the fitness of the data to the purpose of the analysis. Verification of these analyses, then, is a significant bottleneck. A related problem, that of ascertaining reproducible results in scientific claims, is being addressed through executable notebook technology. This paper proposes to use notebook technologies to address that bottleneck. It describes how this notebook technology, linked to internet-addressable ontologies and analytical metamodels, can be used to make model-based analytical methods more verifiable, and thus more effective for manufacturers.