A development process for requirements based service choreography | IEEE Conference Publication | IEEE Xplore