A Rigorous Model of Service Component Architecture