31 Chopra, A. Dalpiaz, F. Giorgini, P. Mylopoulos, J. 2009 Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments DISI Technical Report 09-068