ARivaT: A Tool for Automated Generation of Riva-Based Business Process Architecture Diagrams | IEEE Journals & Magazine | IEEE Xplore