# Specifying and verifying contract-driven service compositions using commitments and model checking

> Research article (Expert Systems with Applications, 2016) · cited 14× · AI/ML

**Wikidata**: [openalex:W2566562774](https://www.wikidata.org/wiki/openalex:W2566562774)  
**Source**: https://4ort.xyz/entity/specifying-and-verifying-contract-driven-service-compositions-using-commitments-and-model-checking