Formalizing constraints in quality process language

This research explores the concepts of quality process language (QPL) as a process modeling technique. The elements of QPL are process name, process owner, input, output, authority, and control. QPL is extended through tabular annotation for easier identification and classification of elements and also facilitates modeling of process. Tabular annotation and modeling check the consistency of the values of each QPL element, identifies errors, inconsistencies, and constraints, and characterize the time involved in the activities. Example of errors identified in the procurement process of the case study was unused information, process exception, missing authority and missing ownership. Data modeling sufficiently defines the meaning of all the data representing the QPL elements. The use of data, data attributes, relationship, algebraic symbols, and data structure in the data modeling showed that the data modeling is complete, consistent, logical, and efficient. Applying formal methods such as Z and temporal logic to the organized and modeled data provides precision and logic in understanding process modeling concepts. Z is used because of its structure, well-formedness, flexibility, explicit representation, and support of exception handling. Temporal logic is used because of its granularity characteristic, representation for series and parallel time, and explicit reasoning. The formalization method was validated in test cases for all activities