A CP-nets-based design and verification framework for Web services composition | IEEE Conference Publication | IEEE Xplore