A DECLARATIVE EXECUTABLE MODEL FOR OBJECT-BASED SYSTEMS BASED ON FUNCTIONAL DECOMPOSITION Topics: Complexity; Declarative Languages; Object-Oriented Programming; Visual Programming In Proceedings of the First International Conference on Software and Data Technologies - Volume 1: ICSOFT, 63-68, 2006 , Setúbal, Portugal