A Formal Model of Learner’s Annotations Dedicated to Web Services Invocation. ICCE 2013. https://doi.org/10.58459/icce.2013.249.