Object-oriented constraint-based programming: a new paradigm using declarative data modeling languages

Abstract

Object-oriented constraint-based programming (OOCP) combines two orthogonal, but complementary programming paradigms, namely: object-oriented programming (OOP) and constraint logic programming (CLP). In spite of the idea to synthesize these paradigms looks very attractive and there were known attempts to implement it, there is still not clear which constructive form it can achieve during further elaboration and development. The key issues are expressiveness of the applied constraint problem description and its algorithmic solvability. In this paper a new system approach to implementation OOCP based on usage of declarative data modeling languages is proposed and discussed.

Keywords

• <i>объектно-ориентированное программирование в ограничениях</i>
• <i>объектно-ориентированное программирование</i>
• <i>логическое программирование в ограничениях</i>
• <i>декларативные языки моделирования</i>