Describir: ISIM'07 Information Systems and Formal Models :