Model-driven synthesis of SOA solutions | IBM Journals & Magazine | IEEE Xplore