A Formal Model of Learner’s Annotations Dedicated to Web Services Invocation. ICCE. Published online November 18, 2013. doi:10.58459/icce.2013.249