High Level Models and Methodologies for Information Systems