A Formal Framework For Building, Checking And Evolving Service Oriented Architectures | IEEE Conference Publication | IEEE Xplore