Reasoning about agents and protocols via goals and commitments