3 Chopra, A. Dalpiaz, F. Giorgini, P. Mylopoulos, J. 2010 Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments Conference on Advanced Information Systems Engineering