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.

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

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

Edition

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