5.8. workspace.fmsl

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;

 


Prev: testtaking.fmsl | Next: [none] | Up: specification | Top: index