Return to Conference Proceedings Submission Details A Formal Model of Learner’s Annotations Dedicated to Web Services Invocation Download Download PDF