A tool for the model-driven development of information systems