Object-oriented constraint programming environment NeMo+ and its applications

Author

Telerman, V. ; Sidorov, V. ; Ushakov, D.

Author_Institution

AI Lab., Inst. of Inf. Syst., Novosibirsk, Russia

fYear

1997

Firstpage

296

Lastpage

303

Abstract

A constraint programming environment NeMo+, which is implemented on a base of a so-called subdefinite models approach is presented. Subdefinite models are a variety of constraint programming techniques. NeMo+ includes a high-level object-oriented declarative language for specification of data types and constraints. The method of subdefinite models is briefly reviewed in the first part of the paper. The NeMo+ architecture and the NeMo+ language are presented in the second part. The NeMo+ main capabilities in solving some problems and benchmarks are considered in the rest of the paper

Keywords

abstract data types; constraint handling; formal specification; object-oriented languages; object-oriented programming; problem solving; programming environments; software performance evaluation; specification languages; NeMo+; benchmarks; data types; high-level object-oriented declarative language; object-oriented constraint programming environment; problem solving; specification; subdefinite models approach; Application software; Artificial intelligence; CADCAM; Computer aided manufacturing; Computer science; Informatics; Large-scale systems; Logic programming; Object oriented modeling; Programming environments;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1997. Proceedings., Ninth IEEE International Conference on

Conference_Location

Newport Beach, CA

ISSN

1082-3409

Print_ISBN

0-8186-8203-5

Type

conf

DOI

10.1109/TAI.1997.632269

Filename

632269