Modeling Service Choreographies with Rule-Enhanced Business Processes | IEEE Conference Publication | IEEE Xplore