Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification

Publication Information

Title

Japanese:
English:	Bridging the Gap between XPDL and Situation Calculus: A Hybrid Approach for Business Process Verification

Author

Japanese:	Li Bing, 飯島淳一.
English:	Bing Li, Junichi Iijima.

Language

English

Journal/Book name

Japanese:
English:	Proceedings of the 9th International Conference on Enterprise Information Systems

Volume, Number, Page

pp. 151-156

Published date

June 2007

Publisher

Japanese:
English:

Conference name

Japanese:
English:	the 9th International Conference on Enterprise Information Systems

Conference site

Japanese:
English:	Funchal, Madeira - Portugal

Official URL