Algorithmic check of standards for information quality dimensions

An important aspect of defining IQ standards is that sound in-formation conforming to a specification should be error-free . We propose to assess information quality dimensions and check their standards by way of an algorithmic procedure. We design an effective procedural way to determine if and where IQ standards fail and to establish algorithmic resolution and evaluation methods that provide a metric appropriate to our quality checking system. This model is largely inspired by systems for quality standard assessment of software production, but it assumes a very high abstraction level. Our claim is that any information processing system, also not necessarily software based ones, can be designed after (some variations of) our model. A detailed formal translation of the definitions involved in our model is available in a machine-checked code.