Commitment-based Protocols with Behavioral Rules and Correctness Properties of MAS