TASKS INTERDEPENDENCES IN COLLABORATIVE LEARNING ACTIVITIES: SPECIFICATION AND MODELING

摘要

In collaborative environments, coordination is an essential matter to the specification of activities, which are described as sets of interdependent tasks. An extensible framework encompassing coordination mechanisms to specify tasks interdependencies is initially presented. These mechanisms are formally modeled using Petri nets and, along with a Petri net representation for the tasks to be performed, can be used to create a model to evaluate the environment. The use of this framework is illustrated in the context of a learning environment based on collaborative Web document construction.