The paper presents a formal model for a knowledge repository shared by members of a Virtual Community of Practice (VCPs), describes how the repository can be used to underpin collaborative problem solving, and how to build computer support for such processes. The repository comprises the resources used and developed by VCPs particularly through problem solving. As a case study, the paper illustrates how the problem solving process and the underlying repository can be applied in disaster prevention and handling. The repository and the process are formally described using the RAISE Specification Language.Facultad de Informátic