Formalizing constraints in quality process language

Date of Publication

2005

Document Type

Master's Thesis

Degree Name

Master of Science in Computer Science

College

College of Computer Studies

Department/Unit

Computer Science

Thesis Adviser

Philip Chan

Defense Panel Chair

Rachel Edita O. Roxas

Defense Panel Member

Nelson Marcos
Ethel C. Ong

Abstract/Summary

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.

Abstract Format

html

Language

English

Format

Electronic

Accession Number

CDTG003940

Shelf Location

Archives, The Learning Commons, 12F Henry Sy Sr. Hall

Physical Description

1 computer optical disc ; 4 3/4 in.

Keywords

Language and languages; Computational linguistics; Information theory

This document is currently not available here.

Share

COinS