Service licensing: conceptualization, formalization, and expression