Сборники трудов ИСП РАН


Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных.

В.А. Семенов, Д.В. Ильин, С.В. Морозов, О.В. Сидяка.

Аннотация

Объектно-ориентированное программирование в ограничениях (OOCP) сочетает две ортогональные, но комплементарные парадигмы программирования, а именно: объектно-ориентированное программирование (OOP) и логическое программирование в ограничениях (CLP). Несмотря на привлекательность идеи синтеза парадигм и известные попытки реализации, до сих пор не существует единого понимания, какие конструктивные очертания она может приобрести при дальнейшей проработке и развитии. Ключевыми вопросами при этом остаются выразительность описания прикладной задачи в ограничениях и ее алгоритмическая разрешимость. В настоящей работе предлагается и обсуждается новый системный подход к реализации OOCP на основе использования декларативных языков моделирования данных.

Ключевые слова

объектно-ориентированное моделирование, логическое программирование в ограничениях, EXPRESS, UML/OCL, OWL.

Издание

Труды Института системного программирования РАН, том 19, 2010, стр. 95-116.

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

Полный текст статьи в формате pdf Вернуться к содержанию тома