Efficient Compliance Checking Using BPMN-Q and Temporal Logic

Ahmed Awad, Gero Decker, Mathias Weske. Efficient Compliance Checking Using BPMN-Q and Temporal Logic. In Marlon Dumas, Manfred Reichert, Ming-Chien Shan, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings. Volume 5240 of Lecture Notes in Computer Science, pages 326-341, Springer, 2008. [doi]

Authors

Ahmed Awad

This author has not been identified. Look up 'Ahmed Awad' in Google

Gero Decker

This author has not been identified. Look up 'Gero Decker' in Google

Mathias Weske

This author has not been identified. Look up 'Mathias Weske' in Google