A resource based formal methodology to detect non-conformance in processes

The methodology described in this paper seeks not so much to break away from the other generic, broad methodologies presented in the literature thus far, but rather to apply our concept to a small and easier aspect of the process - resources. By applying our model to just process resources, we can keep it a lot simpler and easier to understand. Having said that, our methodology still remains generic and applicable to processes across all domains instead of being targeted at one, like manufacturing or software engineering the way most other presented models do. The model we describe here is specifically designed to detect instances of non-conformance between a ldquoprescribedrdquo process and its ldquoobservedrdquo process counterpart by structuring the data of the two and then making comparisons. A mathematically formal model is presented with a small illustrative example of how it can be usefully applied.