Verification of Business Processes Against Business Rules Using Object Life Cycles.

Ralph Hoch, Michael Rathmair, Hermann Kaindl, Roman Popp

Browse the full WorldCIST paper archive.