ALBIS: ALigning Business Processes and Information Systems – Software Environment and Case Studies