A Formal Approach to Verification of Process Constraints
2007
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
3
References
0
Citations
NaN
KQI