A formal approach to verification of process constraints

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)

View graph of relations

Author(s)

Detail(s)

Original languageEnglish
Title of host publication16th Workshop on Information Technologies and Systems, WITS 2006
PublisherSocial Science Research Network
Pages37-42
StatePublished - 2006
Externally publishedYes

Conference

Title16th Workshop on Information Technologies and Systems, WITS 2006
PlaceUnited States
CityMilwaukee, WI
Period9 - 10 December 2006

Abstract

Maintaining the consistency of large-scale business processes under various business changes has become a significant issue in corporate information management. One important aspect of business process management is maintaining the correctness and consistency of process constraints. In this paper, we present a formal approach to the verification of process constraints by means of a Predicate-based Process Specification Language (P2SL). A business case is used to motivate the problem and to illustrate the effectiveness of our approach.

Citation Format(s)

A formal approach to verification of process constraints. / Wang, Harry J.; Zhao, J. Leon.

16th Workshop on Information Technologies and Systems, WITS 2006. Social Science Research Network, 2006. p. 37-42.

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)