A formal approach to verification of process constraints

Harry J. Wang; J. Leon Zhao

A formal approach to verification of process constraints

Harry J. Wang
, J. Leon Zhao

Research output: Chapters, Conference Papers, Creative and Literary Works › RGC 32 - Refereed conference paper (with host publication) › peer-review

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.

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
Event	16th Workshop on Information Technologies and Systems, WITS 2006 - Milwaukee, WI, United States Duration: 9 Dec 2006 → 10 Dec 2006

Conference

Conference	16th Workshop on Information Technologies and Systems, WITS 2006
Place	United States
City	Milwaukee, WI
Period	9/12/06 → 10/12/06

Other Access Options

Check CityUHK Library

Permanent Link

Right click to copy link

Cite this

@inproceedings{e7ee73af59de40d19219afd86082328f,

title = "A formal approach to verification of process constraints",

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.",

author = "Wang, \{Harry J.\} and Zhao, \{J. Leon\}",

year = "2006",

language = "English",

pages = "37--42",

booktitle = "16th Workshop on Information Technologies and Systems, WITS 2006",

publisher = "Social Science Research Network",

note = "16th Workshop on Information Technologies and Systems, WITS 2006 ; Conference date: 09-12-2006 Through 10-12-2006",

}

TY - GEN

T1 - A formal approach to verification of process constraints

AU - Wang, Harry J.

AU - Zhao, J. Leon

PY - 2006

Y1 - 2006

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

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

UR - https://www.scopus.com/pages/publications/84901940507

UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-84901940507&origin=recordpage

M3 - RGC 32 - Refereed conference paper (with host publication)

SP - 37

EP - 42

BT - 16th Workshop on Information Technologies and Systems, WITS 2006

PB - Social Science Research Network

T2 - 16th Workshop on Information Technologies and Systems, WITS 2006

Y2 - 9 December 2006 through 10 December 2006

ER -

A formal approach to verification of process constraints

Abstract

Conference

Other Access Options

Permanent Link

Other Files and Links

Fingerprint

Cite this