A workspace manager for ProcessMaker