Formal representation of service interactions for SaaS based applications | IEEE Conference Publication | IEEE Xplore