Welcome to the InfoSci Platform
Modelling and Analysis of Web-Based CourseWare Systems

Modelling and Analysis of Web-Based CourseWare Systems

Lam Chi-Yung, Cheung Shing-Chi
Copyright: © 2000 |Pages: 19
ISBN13: 9781878289605|ISBN10: 1878289608|EISBN13: 9781930708785
DOI: 10.4018/978-1-878289-60-5.ch010
Cite Chapter Cite Chapter

MLA

Chi-Yung, Lam, and Cheung Shing-Chi. "Modelling and Analysis of Web-Based CourseWare Systems." Web-Based Learning and Teaching Technologies: Opportunities and Challenges, edited by Anil K. Aggarwal, IGI Global, 2000, pp. 155-173. https://doi.org/10.4018/978-1-878289-60-5.ch010

APA

Chi-Yung, L. & Shing-Chi, C. (2000). Modelling and Analysis of Web-Based CourseWare Systems. In A. Aggarwal (Ed.), Web-Based Learning and Teaching Technologies: Opportunities and Challenges (pp. 155-173). IGI Global. https://doi.org/10.4018/978-1-878289-60-5.ch010

Chicago

Chi-Yung, Lam, and Cheung Shing-Chi. "Modelling and Analysis of Web-Based CourseWare Systems." In Web-Based Learning and Teaching Technologies: Opportunities and Challenges, edited by Anil K. Aggarwal, 155-173. Hershey, PA: IGI Global, 2000. https://doi.org/10.4018/978-1-878289-60-5.ch010

Export Reference

Mendeley
Favorite

Abstract

Designing reliable Web-based courseware systems is not trivial. Courseware authors need to allow as much flexibility in navigating through the system as possible on the one hand, and to ensure the satisfaction of properties and constraints in the system on the other. The problem is aggravated with facilities like Java applets which incorporate dynamic behaviour into the information structure. These issues motivate the need for designing such systems through rigorous modelling and analysis. We propose a scheme using a formal method called the Calculus of Communicating Systems (CCS) to unify the modelling of the courseware based on its navigational structure, semantics and dynamic components. Properties like ordering constraint, reachability and coverage constraint can be answered after a model is extracted from the implementation. Besides, our approach can be extended to assist in the design phase of the construction process, just like what computer-aided software engineering (CASE) tools do. A hypothetical example is used throughout the chapter as an illustration.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.