Model-Based Automated Navigation and Composition of Complex Service Mashups | IEEE Journals & Magazine | IEEE Xplore