A formal approach supporting the specification and verification of business conversation requirements.