IMS learning design support for the formalization of collaborative learning patterns | IEEE Conference Publication | IEEE Xplore