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 a...

Full description

Saved in:
Bibliographic Details
Main Author: Tanael, Anna Liza B.
Format: text
Language:English
Published: Animo Repository 2005
Subjects:
Online Access:https://animorepository.dlsu.edu.ph/etd_masteral/3308
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: De La Salle University
Language: English
id oai:animorepository.dlsu.edu.ph:etd_masteral-10146
record_format eprints
spelling oai:animorepository.dlsu.edu.ph:etd_masteral-101462020-12-18T01:01:09Z Formalizing constraints in quality process language Tanael, Anna Liza B. 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. 2005-01-01T08:00:00Z text https://animorepository.dlsu.edu.ph/etd_masteral/3308 Master's Theses English Animo Repository Language and languages Computational linguistics Information theory
institution De La Salle University
building De La Salle University Library
continent Asia
country Philippines
Philippines
content_provider De La Salle University Library
collection DLSU Institutional Repository
language English
topic Language and languages
Computational linguistics
Information theory
spellingShingle Language and languages
Computational linguistics
Information theory
Tanael, Anna Liza B.
Formalizing constraints in quality process language
description 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.
format text
author Tanael, Anna Liza B.
author_facet Tanael, Anna Liza B.
author_sort Tanael, Anna Liza B.
title Formalizing constraints in quality process language
title_short Formalizing constraints in quality process language
title_full Formalizing constraints in quality process language
title_fullStr Formalizing constraints in quality process language
title_full_unstemmed Formalizing constraints in quality process language
title_sort formalizing constraints in quality process language
publisher Animo Repository
publishDate 2005
url https://animorepository.dlsu.edu.ph/etd_masteral/3308
_version_ 1712575153665212416