Browsing by Author "Sara Ghaoui"

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
  • No Thumbnail Available
    Item
    DescriptiveModelingofCollaborativePractices in aComputer-Based Human LearningEnvironment
    (2025-07) Sara Ghaoui
    In anincreasinglydigitaleducationalcontext,Computer-BasedHumanLearningEnviron- ments(CBHLEs)playacrucialroleinsupportingbothindividualandcollaborativelearn- ing. Collaborativelearningsupportedbytheseenvironmentsoffersamajoropportunityto strengthen learnerengagementandimprovethequalityofpeerinteractions.However,to fully leveragethispotential,itisessentialtounderstandandassesslearningdynamicsusing reliable indicatorsderivedfrominteractiontraceanalysis. This thesisfocusesonthedesignandcomputationofcollaborationindicatorsinComputer- Based HumanLearningEnvironments(CBHLEs).Itproposesamodel-drivenarchitecture (MDA)-basedapproachtomaketheindicatorcomputationplatform-independent. Three maincontributionsarepresented: • First contribution:amodeltransformation-basedapproachisproposedtocompute collaborationindicatorsindependentlyofthelearningplatform. • Second contribution:aformalmodel(DECINModel)isintroducedtoassistteachers in designingvalidcollaborationindicatorstailoredtotheirobservationneeds. • Third contribution:thecomputationprocessisautomatedthroughthegenerationof Sequences oftransformations,generatedbyaformalsystem(DECIN-AGSTSystem). Tosupportthisapproach,aplatform-independenttracemodel(T-PIM)isproposed, along withformalconstraintsexpressedinOCLtoensurethevalidityandconsistencyofthe collected traces.Similarly,agenericmodelforcollaborativeindicators(CI-PIM)isdefined, supportedbyconstraintsthatensurethequalityofthegeneratedindicators. Finally,theautomationoftransformationsequencegenerationisachievedthroughthe implementationoftheDECINmodelinaformalsystem(DECIN-AGST),whosevalidityhas beenverifiedusingthemodelcheckingmethodviatheUPPAALtool,thusensuringsafety, accessibility,andabsenceofdeadlocks.