Service License Composition and Compatibility Analysis