A formal approach to verification of process constraints
Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review
Author(s)
Detail(s)
| Original language | English |
|---|---|
| Title of host publication | 16th Workshop on Information Technologies and Systems, WITS 2006 |
| Publisher | Social Science Research Network |
| Pages | 37-42 |
| Publication status | Published - 2006 |
| Externally published | Yes |
Conference
| Title | 16th Workshop on Information Technologies and Systems, WITS 2006 |
|---|---|
| Place | United States |
| City | Milwaukee, WI |
| Period | 9 - 10 December 2006 |
Link(s)
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.
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 32 - Refereed conference paper (with host publication) › peer-review
