Interoperability of security-aware web service business processes: Case studies and empirical evaluation