Service choreographies through a graphical notation based on abstraction layers and viewpoints | IEEE Conference Publication | IEEE Xplore