Verification of Business Processes Against Business Rules Using Object Life Cycles

Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp. Verification of Business Processes Against Business Rules Using Object Life Cycles. In Álvaro Rocha, Ana Maria Ramalho Correia, Hojjat Adeli, Luís Paulo Reis, Marcelo Mendonça Teixeira, editors, New Advances in Information Systems and Technologies - Volume 1 [WorldCIST'16, Recife, Pernambuco, Brazil, March 22-24, 2016]. Volume 444 of Advances in Intelligent Systems and Computing, pages 589-598, Springer, 2016. [doi]

Authors

Ralph Hoch

This author has not been identified. Look up 'Ralph Hoch' in Google

Michael Rathmair

This author has not been identified. Look up 'Michael Rathmair' in Google

Hermann Kaindl

This author has not been identified. Look up 'Hermann Kaindl' in Google

Roman Popp

This author has not been identified. Look up 'Roman Popp' in Google