We are upgrading the repository! A content freeze is in effect until November 22nd, 2024 - no new submissions will be accepted; however, all content already published will remain publicly available. Please reach out to repository@u.library.arizona.edu with your questions, or if you are a UA affiliate who needs to make content available soon. Note that any new user accounts created after September 22, 2024 will need to be recreated by the user in November after our migration is completed.

Show simple item record

dc.contributor.advisorZhao, J. Leonen_US
dc.contributor.authorBi, Henry Haidong
dc.creatorBi, Henry Haidongen_US
dc.date.accessioned2013-04-11T09:15:29Z
dc.date.available2013-04-11T09:15:29Z
dc.date.issued2004en_US
dc.identifier.urihttp://hdl.handle.net/10150/280540
dc.description.abstractProcess models are an essential component of business process management and are found in various information systems such as workflow management systems, enterprise resource planning systems, and supply chain management systems. Process modeling and analysis are key steps in business process management. However, most existing activity-based process modeling paradigms found in process management tools lack a mathematical formalism, have limited expressive power, or have little analytical capability. Consequently, process modeling and analysis in the industry remain an art rather than a science. In this dissertation, we first propose a logic-based workflow verification approach by applying propositional logic with constraints to verifying the correctness of both acyclic and cyclic workflow models. We demonstrate that this approach is capable of detecting process anomalies in workflow models. We then propose process graphs as a graphical and mathematical tool for business process modeling and analysis. We formally define the syntax and semantics of process graphs and their constructs. We show that process graphs can not only model all types of execution order of activities, but also support multi-level abstraction, modular modeling, and analysis of the correctness of process models. We apply process graphs to defining and classifying process anomalies, and demonstrate that the proper use of process graphs can prevent certain process anomalies. We also propose process logic as a logical formalism and mathematical method to represent process models for the purpose of process verification. We formally define the syntax and semantics of process logic to reflect the characteristics of process structures in a more precise way. We establish a formal relationship between process logic and graphical representations of process models, and transform the problem of verifying the correctness of process models into the problem of determining the validity of process argument forms in process logic. We demonstrate that process logic can be used to verify completely the correctness of activity-based process models. Process graphs and process logic provide a theoretical foundation for the modeling, analysis, and verification of activity-based process models that are most widely used in the applications of business process management.
dc.language.isoen_USen_US
dc.publisherThe University of Arizona.en_US
dc.rightsCopyright © is held by the author. Digital access to this material is made possible by the University Libraries, University of Arizona. Further transmission, reproduction or presentation (such as public display or performance) of protected items is prohibited except with permission of the author.en_US
dc.subjectMathematics.en_US
dc.subjectBusiness Administration, Management.en_US
dc.subjectComputer Science.en_US
dc.titleGraphical and logical formalisms for business process modeling and verificationen_US
dc.typetexten_US
dc.typeDissertation-Reproduction (electronic)en_US
thesis.degree.grantorUniversity of Arizonaen_US
thesis.degree.leveldoctoralen_US
dc.identifier.proquest3132200en_US
thesis.degree.disciplineGraduate Collegeen_US
thesis.degree.disciplineBusiness Administrationen_US
thesis.degree.namePh.D.en_US
dc.identifier.bibrecord.b46709149en_US
refterms.dateFOA2018-08-19T01:28:11Z
html.description.abstractProcess models are an essential component of business process management and are found in various information systems such as workflow management systems, enterprise resource planning systems, and supply chain management systems. Process modeling and analysis are key steps in business process management. However, most existing activity-based process modeling paradigms found in process management tools lack a mathematical formalism, have limited expressive power, or have little analytical capability. Consequently, process modeling and analysis in the industry remain an art rather than a science. In this dissertation, we first propose a logic-based workflow verification approach by applying propositional logic with constraints to verifying the correctness of both acyclic and cyclic workflow models. We demonstrate that this approach is capable of detecting process anomalies in workflow models. We then propose process graphs as a graphical and mathematical tool for business process modeling and analysis. We formally define the syntax and semantics of process graphs and their constructs. We show that process graphs can not only model all types of execution order of activities, but also support multi-level abstraction, modular modeling, and analysis of the correctness of process models. We apply process graphs to defining and classifying process anomalies, and demonstrate that the proper use of process graphs can prevent certain process anomalies. We also propose process logic as a logical formalism and mathematical method to represent process models for the purpose of process verification. We formally define the syntax and semantics of process logic to reflect the characteristics of process structures in a more precise way. We establish a formal relationship between process logic and graphical representations of process models, and transform the problem of verifying the correctness of process models into the problem of determining the validity of process argument forms in process logic. We demonstrate that process logic can be used to verify completely the correctness of activity-based process models. Process graphs and process logic provide a theoretical foundation for the modeling, analysis, and verification of activity-based process models that are most widely used in the applications of business process management.


Files in this item

Thumbnail
Name:
azu_td_3132200_sip1_m.pdf
Size:
2.517Mb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record