相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。Integration and verification of semantic constraints in adaptive process management systems
Linh Thao Ly et al.
DATA & KNOWLEDGE ENGINEERING (2008)
A static compliance-checking framework for business process models
Y. Liu et al.
IBM SYSTEMS JOURNAL (2007)
A formal analysis of a business contract language
Guido Governatori et al.
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (2006)
Using the event calculus for tracking the normative state of contracts
ADH Farrell et al.
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (2005)