La formación mediada por tecnología a través de espacios virtuales de trabajo colaborativo (EVTC) surge como una posibilidad de permitir la interacción de grupos de trabajo orientados al entrenamiento en el que sus integrantes estén físicamente no contiguos. Como etapa previa al diseño de EVTCs con la finalidad descripta, se ha identificado la necesidad de disponer de un formalismo de análisis y diseño con base informática que permita modelar la dinámica de grupos con énfasis en el entrenamiento en capacidades investigativas. En este artículo, se propone un formalismo que integra técnicas de ingeniería de conocimiento y una variación de diagramas de secuencia proveniente del modelado de objetos.