University of Cagliari
Service contracts between digital providers and consumers should be: understood and verified by the business stakeholders, mechanically checked for consistency and automatically mapped to system implementations. This paper presents guidelines and templates for expressing service contract clauses as business rules, i.e. logical formulations in constrained natural language conforming to the OMG Semantics of Business Vocabulary and Business Rules (SBVR) specification. When supported by the SBVR abstract notation, natural language business rules can be mechanically checked for consistency, and eventually processed for automated generation of technical model elements, machine-readable components, executable code and tests.