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]
Abstract is missing.