DATESO 2007 Proceedings of the 7th annual workshop Databases, Texts Specifications, and Objects, April 18 - 20, 2007 Desná - Černá Říčka (VŠB - Technical University of Ostrava, 2007)