A Specification And Analysis Framework For Provenance Awareness Of Service Compositions