Verification of business process constraints based on temporal logic
基于时序逻辑的业务过程约束建模及验证*

This paper proposed a kind of visual constraint modeling language for business processes, namely VCML and pro-ducted research on automatic verification technology. Used XYZ/E to formally define the VCML model and business process model. Described the business process in VPML(visual process modeling language), then discussed to implement the method using model checking technology. At last, illustrated an example the modeling of business process constraint.