module Workspace; import QuestionManagement.Database; import TestGeneration.GeneratedTest; import TestTaking.AnsweredTest; import TestGrading.GradedTest; object Workspace components: databases:Database*, options:Option*, generatedTests:GeneratedTest*, answeredTests:AnsweredTest*, gradedTests:GradedTest*; description: (* A user's configuration and associated data. *); end Workspace; object Option end Option; end Workspace;