IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specification, Verification and Implementation of Business Processes Using CSP

2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE)

Author(s): Kleine, M. ; Göthel, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2010
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 25 August 2010
Page(s): 145 - 154
ISBN (Paper): 978-1-4244-7847-7
DOI: 10.1109/TASE.2010.26
Regular:

Nowadays, the problem in business process management (BPM) is that BPM systems should both be easy to use for business process developers and be based on a sound formal method. Business process... View More

Advertisement