{Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments}