Towards a Client-Oriented Model of Types and States in Service-Oriented Development | IEEE Conference Publication | IEEE Xplore