One component of information systems used by health plans incorporates membership data and information about provider reimbursement arrangements and analyzes transactions according to contract rules. This information system component is known as