Bridging Global and Local Models of Service-Oriented Systems | IEEE Journals & Magazine | IEEE Xplore