Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture