Proceedings of ISP RAS

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

V.A. Semenov, D.V. Ilyin, S.V. Morozov, O.V. Sidyaka.


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.


object-oriented modeling, constraint logic programming, EXPRESS, UML/OCL, OWL.


Proceedings of the Institute for System Programming, vol. 19, 2010, pp. 95-116.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Full text of the paper in pdf (in Russian) Back to the contents of the volume