Declarative specification: data/workflow and verification
Verify partners do not violate business rules
Verify some customization is acceptable
Verify fairness of some complex business model
Check some property of vendor business model
Declarativeness is the only solution to enable such verifications