Abstract
E-learning has become an important topic in these days both in academia and in industry. Our efforts in this paper concentrate on proposing a conceptual framework to help designer to construct e-learning system. The presented framework can conspicuously help the developer to comprehend the collaboration relationship between the learning objects. Then, the concepts of hierarchical learning process net and hierarchical web services net are defined by hierarchical Petri-net. The model is expressive enough to capture the semantics of learning process and their specificities. By using Petri-net verification technology, the model will have desirable properties. This will definitely help designer to design and optimize the e-learning processes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Vossen, G., Westerkamp, P.: E-learning as a Web Service, Available: www.dbs.cs.uni-duesseldorf.de/ gvd2004/papers
Sicilia, M.A., Sánchez, S.: On the concept of Learning Object “Design by Contract”. WSEAS Transactions on systems 2(3), 612–617 (2003)
Sánchez, S., Sicilia, M.A.: Expressing preconditions in learning object contracts. In: Proceedings of the Second International Conference on Multimedia and Information & Communication Technologies in Education, m-ICTE 2003, pp. 1734–1738 (2003)
Torres, J., Dodero, J.M., Padrón, C.L.: A Framework Based on Web Services Composition for the Adaptability of Complex and Dynamic Learning Processes. Learning Technology newsletter 6(1), 7–9 (2004)
Sánchez, S., Sicilia, M.A.: Expressing preconditions in learning object contracts. In: Proceedings of the Second International Conference on Multimedia and Information & Communication Technologies in Education, m-ICTE 2003, pp. 1734–1738 (2003)
Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)
Henkel, M., Zdravkovic, J., Johannesson, P.: Service-Based. Processes: Design for Business and Technology. In: Proc. 2nd. Int’l Conf. Service Computing, pp. 21–29. ACM Press, New York (2004)
Johannesson, P., Perjons, E.: Design principles for process modelling in enterprise application integration. Information Systems 26, 165–184 (2001)
Yang, J., Papazoglou, M.: Interoperation Support for Electronic Commerce. Communications of the ACM 6(43), 39–47 (2000)
Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
Petri Nets World, http://www.daimi.au.dk/PetriNets/
Valette, R.: Analysis of Petri Nets by Stepwise Refinement. Journal of Computer and System Sciences 18, 35–46 (1979)
van der Aalst, W.M.P.: Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000)
Risse, T., Vatterrott, H.-R.: The Learning Objects Structure Petri Net, http://www.eurodl.org/materials/contrib/2004/Risse_Vatterrott.html
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Chi, Y.-L., Tsai, M.-H., Lee, C.-W.: A Petri-Net based Validator in Reliability of a Composite Service [J]. In: The 2005 IEEE International Conference, March 29-01, 2005, pp. 450–453. IEEE Computer Society Press, Los Alamitos (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
He, F., Le, J. (2007). Hierarchical Petri-Nets Model for the Design of E-Learning System. In: Hui, Kc., et al. Technologies for E-Learning and Digital Entertainment. Edutainment 2007. Lecture Notes in Computer Science, vol 4469. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73011-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-540-73011-8_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73010-1
Online ISBN: 978-3-540-73011-8
eBook Packages: Computer ScienceComputer Science (R0)