%0 Journal Article
%T Verification of business process constraints based on temporal logic<br>基于时序逻辑的业务过程约束建模及验证*
%A GAO Jun-tao
%A ZHANG Li
%A <br>高俊涛
%A 张莉
%J 计算机应用研究
%D 2009
%I 
%X 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.
%K constraint rule
%K temporal logic
%K business modeling<br>业务约束
%K 时序逻辑
%K 业务建模
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=897AAF4D76C2A80E1C49A501817B6574&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=E158A972A605785F&sid=E3C11E2483CABC48&eid=D8AEABAD4F3221BE&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=13