Formalization and Integration of Scaffolding in a Web-Based Learning Environment