Ограничения целостности в геометрических моделях графических редакторов тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Чижов, Александр Владимирович

• Чижов, Александр Владимирович
• кандидат технических наук
• 2000

Оглавление диссертации кандидат технических наук Чижов, Александр Владимирович

Введение.

1. Анализ подходов к применению ограничений.

1.1 Ограничения в графических системах.

1.2 Области применения графических ограничений.

1.3 Проблемы, связанные с использованием ограничений.

1.3.1 Задание ограничений целостности.

1.3.2 Редактирование ограничений.

1.4 Представление ограничений.

1.5 Механизмы удовлетворения ограничений.

1.5.1 Численный алгебраический подход.

1.5.2 Символьный алгебраический.

1.5.3 Логический вывод.

1.5.4 Метод кластеризации.

1.5.5 Локальное распространение.

1.5.6 Цветовая классификация.

1.6 Структура графических систем, использующих ограничения.

1.7 Выводы по первой главе.

2. Разработка модели системы, использующей геометрические ограничения целостности.

2.1 Трехуровневая модель представления системы.

2.1.1 Визуальный уровень.

2.1.2 Геометрический уровень модели.

2.1.3 Уровень решения ограничений.

2.2 Механизм удовлетворения ограничений.

2.3 Язык описания модели.

2.4 Выводы по второй главе.

3. Реализация интерактивной графической системы с ограничениями.

3.1 Особенности реализации в среде Harlequin Lisp Works.

3.2 Структура системы.

3.3 Механизм удовлетворения ограничений целостности.

3.3.1 Предварительное решение.

3.3.2 Разрешение конфликтов.

3.4 Библиотеки примитивов.

3.5 Синтаксис языка описания моделей.

3.6 Выводы по третьей главе.

4. Применение графического редактора использующего ограничения в различных прикладных областях.

4.1 Особенности применения редактора с ограничениями.

4.2 Реализация работы с недоограниченными моделями.

4.3 Реализация библиотек стандартных объектов.

4.4 Применение редактора для конструирования изделий кожгаланереи.

4.5 Применение редактора для разработок в области машиностроения.

4.6 Анализ эффективности механизма удовлетворения ограничений.

4.7 Выводы по четвертой главе.

Введение диссертации (часть автореферата) на тему «Ограничения целостности в геометрических моделях графических редакторов»

В последние годы развитие вычислительной техники характеризуется резким повышением производительности вычислительных систем и скоростей ввода/вывода графической информации, развитием операционных систем, таких как WINDOWS,OS/2 и др., обладающих графическим интерфейсом пользователя. Это привело к появлению большого количества систем, работающих с графической информацией, и росту интереса к методам их создания. Успех подобных систем во многом определяется интерфейсом пользователя - компонентами, обеспечивающими взаимодействие пользователя с системой. Пользователь, как правило, не обладает и не желает обладать специализированными знаниями и навыками, связанными с управлением сложными вычислительными системами. Поэтому в современных пользовательских интерфейсах (ПИ) применяются различные методы, позволяющие скрыть специфику управления. Среди этих методов -метафора модели мира [36], прямое манипулирование объектами, ограничения и др. Современный ПИ должен быть простым в изучении и легким в использовании. Это во многом достигается за счет естественности и интуитивности его управления.

Компонента ПИ графической системы, обеспечивающая моделирование геометрических форм и возможность их визуализации и изменения, называется графическим редактором. Ему так же должны быть присущи все рассмотренные выше свойства. Одним из современных методов достижения естественности и интуитивности при работе графического редактора является использование геометрических ограничений.

Применение ограничений позволяет сделать еще один шаг в развитии метафоры модели мира и методов прямого манипулирования объектами. С помощью ограничений можно придавать новые свойства и более сложное поведение объектам метафорического мира пользователя.

Одним из главных достоинств редакторов, использующих ограничения целостности модели, является предоставление пользователю возможности изменения чертежа без его разрушения. В ходе редактирования чертежа с ограничениями свойства примитивов и их взаимоотношения, для которых пользователь на этапе создания чертежа установил ограничения, сохраняются при любых изменениях, вносимых в чертеж. Сохраняются размеры объектов, расстояния между ними, параллельность линий, а также другие свойства и взаимоотношения объектов.

С помощью графического редактора, использующего ограничения, можно создавать сложные чертежи на основе прототипов без трудоемкого процесса их параметризирования. Пользователь, задавая ограничения, может сам определять структуру прототипа, не используя специальные языки описаний.

Несмотря на усложнение работы пользователя, связанное с заданием и редактированием ограничений, а так же более сложные алгоритмы, реализующие работу ограничений, интерес к данной тематике постоянно растет.

Ограничения в графических системах впервые были применены более 30 лет назад. Одной из первых систем, использовавших язык с ограничениями и объектно-ориентированный подход в интерактивной графике, является Sketchpad [94], разработанный Сазерлендом. Вслед за ним появился целый ряд систем, как развивающих те же идеи, так и разрабатывающих другие подходы. Среди них ThingLab [28], Juno [61, 86], Bertrand и другие. Опыт создания и применения графических систем с ограничениями показал эффективность и практичность таких систем. Многие из них вышли на коммерческий уровень.

Большинство современных интерактивных графических систем в той или иной мере используют ограничения. Они находят свое применение в системах управления интерфейсом пользователя, при создании и управлении оконной подсистемы, в управлении графическими проекциями модели, помогают сохранять целостность самой модели и в ряде других подсистем.

Основополагающие концепции применения ограничений в графических системах были сформулированы в работах Б.А. Майерса [81, 82, 83, 84], А. Борнинга [25, 26, 28], Р.Д. Хила [62], Б. Фридмана-Бенсона [44, 45,46], Г. Нельсона [86], И. Фудоса [47,48] и других авторов.

Однако вопросы, связанные с применением ограничений в графических редакторах интерактивных графических систем, еще не получили должного освещения. Этим и объясняется актуальность предлагаемой диссертации.

Целью диссертационной работы является исследование и разработка методов использования ограничений целостности в геометрических моделях графических редакторов.

Для достижения поставленной цели в работе решаются следующие задачи:

1) Исследование подходов к использованию вычислений на основе ограничений в графических системах.

2) Разработка методов задания и редактирования ограничений.

3) Разработка механизма удовлетворения ограничений целостности для интерактивных графических систем.

4) Разработка языка описания геометрических моделей с ограничениями целостности.

5) Разработка методов и алгоритмов управления поведением графических редакторов, использующих ограничения.

6) Практическое использование результатов исследований и разработок при проектировании графического редактора.

В процессе исследования и разработки указанных задач получены следующие научные результаты:

1. На основе анализа принципов объектно-ориентированного подхода и требований, связанных с применением ограничений, разработано трехуровневое представление прикладной модели.

2. Определены наборы примитивов для каждого уровня. Разработаны их концептуальные схемы.

3. Формально определена модель ограничений. Задан набор базовых ограничений и разработана их концептуальная схема.

4. Разработан метод удовлетворения ограничений, разрешающий конфликты, исходя из классов геометрических объектов и ограничений.

5. Разработан язык описания геометрических моделей с ограничениями. Синтаксис и семантика языка описаны в форме атрибутных грамматик.

Работа состоит из введения, четырех глав, заключения и списка использованной литературы.

В первой главе на основе сравнительного анализа применяемых в существующих графических системах походов к использованию ограничений сформулированы задачи исследования.

Во второй главе предложено трехуровневое представление прикладной модели, учитывающее особенности, связанные с использованием ограничений целостности. Разработаны вопросы ее структурной организации и поддержки ограничений целостности. Рассмотрен специальный механизм удовлетворения геометрических ограничений. Описаны синтаксис и семантика контекстно-зависимого языка описания модели.

Третья глава посвящена вопросам реализации графического редактора, основанного на предложенной трехуровневой модели, в среде Lisp. Разработаны базовые программные средства: библиотеки графических объектов всех уровней модели, методы управления активностью и механизм удовлетворения ограничений целостности модели. Разработаны вопросы реализации языка описания модели.

- 8

В четвертой главе описывается примеры использования разработанного в предыдущих главах графического редактора в различных областях применения. Рассматривается процесс проектирования выкроек изделий легкой промышленности и создания чертежей для машиностроения. Дан анализ результатов и определены направления дальнейших исследований.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Чижов, Александр Владимирович

Основные результаты данной диссертационной работы заключаются в следующем:

1) Исследованы методы работы с ограничениями целостности. Проанализированы механизмы, обеспечивающие удовлетворение ограничений целостности. Сформулированы и проанализированы задачи, решаемые при создании интерактивного графического редактора, использующего ограничения.

2) Предложено трехуровневое представление геометрической модели, включающее визуальный уровень - интерфейс к пользователю, собственно геометрический уровень и уровень однородного представления, являющийся интерфейсом к механизму удовлетворения ограничений. Разработана математическая структура модели и концептуальные схемы уровней.

3) Разработаны методы разрешения конфликтов ограничений, основанные на анализе типов объектов и ограничений. Разработан и реализован механизм удовлетворения ограничений, основывающийся на решении иерархий ограничений методом локального распространения и использующий разработанные методы разрешения конфликтов.

4) Разработан специальный язык описания геометрических моделей с ограничениями, основанный на атрибутной грамматике. Определены его синтаксис и семантика.

5) Разработаны основные компоненты графического редактора, использующего ограничения: оконная система, библиотеки примитивов и ограничений, транслятор языка.

- 121

6) Реализован интерактивный графический редактор, использующий ограничения для поддержания целостности модели.

По теме диссертации опубликовано 8 печатных работ.

Апробация работы. Основные положения диссертации докладывались и обсуждались на: Научно-практической конференции "Языки мозга и тела человека: проблемы и практическое использование в деятельности органов внутренних дел" (Орел, 1996); Всероссийской научной конференции «Проблемы создания и развития информационной телекоммуникационной системы специального назначения (Орел, 1997); Международной научной конференции «Пользовательский интерфейс в современных компьютерных системах» (Орел 1999); Научных семинарах кафедр прикладной математики МЭИ (ТУ) и информационных систем ОрелГТУ.

Заключение

В соответствии с поставленной целью разработаны методы задания и редактирования ограничений, трехуровневая модель прикладной области и язык ее описания, механизм выполнения ограничений целостности, удовлетворяющий требованиям интерактивных графических систем.

Список литературы диссертационного исследования кандидат технических наук Чижов, Александр Владимирович, 2000 год

1.Буч Г. Объектно - Ориентированное программирование- М.: Конкорд, 1992.-519 с.

2. Гордиенко А.П. Объектно-ориентированный подход к управлению пользовательским интерфейсом в графических редакторах САПР: Автореф. дис. канд. техн. наук.- М., 1995.

3. Гордиенко А.П. Пользовательский интерфейс в графических приложениях: объектно-ориентированный подход // Пользовательский интерфейс: исследование, проектирование, реализация 1993 - N 1. С. 5257.

4. Гордиенко А.П., Костенко Т.П., Амелина О.В., Чижов A.B. Програмно-методический комплекс для проектирования изделий машиностроения сложной формы // Программные и технические средства САПР.-М.- 1988.-С.17-18.

5. Гордиенко А.П., Новиков Ю.М. Чижов A.B. Объектно-ориентированный пользовательский интерфейс в системе объемного моделирования ГАПИС // Пользовательский интерфейс: исследование, проектирование, реализация М., 1992 - С. 161-165.

6. Гордиенко А.П., Чижов A.B. Объектно-ориентированная модель системы объемного проектирования изделий сложной формы // Инженерный журнал-справочник 1999 - N1. С.26-30.

7. Емеличев В.А. и др. Лекции по теории графов М.: Наука, 1990290 с.

8. Кристофидес Н. Теория графов. Алгоритмический подход М.: Мир, 1978.- 520 с.

9. Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов М.: Мир, 1979. - 345 с.

10. Николаева Ж.Б., Темкин С.Н., Шаповалова H.H. Моделирование кожгалантерейных изделий М.: Легкая индустрия, 1975 - 181 с.

11. Нильсон Н. Принципы искусственного интеллекта М.: Радио и связь, 1985- 390 с.

12. Телло Э. Объектно-ориентированное программирование в среде WINDOWS.- М.: Высшая школа, 1993.- 347 с.

13. Фоли Д., Дэм В. А. Основы интерактивной машинной графики.-М.: Мир, 1985.- 368 с.

14. Хендерсон П. Функциональное программирование.- М.: Наука, 1983.- 625 с.

15. Хювенен Э.,Сеппянен Й. Мир Лиспа.- М.: Мир, 1990 2т.

16. Чижов А. В. Ограничения целостности в графических системах // Инженерный журнал-справочник 1999 - N.7.- С.42-48.

17. Чижов А. В. Особенности применения ограничений в интерактивных графических системах // Пользовательский интерфейс в современных компьютерных системах. Сб. материалов Междунар. науч. конф.- Орел 1999.- С. 77-85.

18. Шишкин В. Е. Кривые и поверхности на экране компьютера. Руководство по сплайнам для пользователя- М. Диалог-МИФИ, 1996-240с.

19. Aho, Sethi, Ullman. Compilers: principles, techniques and tools. -Addison-Wesley, 1986.-P.366.

20. Akker J. Applying an Advanced Data Model to Graphic Constraint Handling. // Proceedings of 5th Eurographics Workshop on Programming Paradigms in Graphics Maastricht,- 1995 - P. 1-16.

21. Alpert S.R. Graceful Interaction with Graphical Constraints // IEEE Computer Graphics & Applications 1993 - P.82-86.

22. Barsky B. Computer Graphics and Geometric Modeling using Betasplines. Springer Verlag 1988. - P.525.

23. Borning A. The Programming Language Aspect of ThingLab, a Constraint Oriented Simulation Laboratry // ACM Transactions on Programming Language and Systems.-1981.-Vol.3- N.4.- P.- 353-387.

24. Borning A., Anderson R., Freeman-Benson B.N. The Indigo Algorithm // Proceedings of the ACM Symposium on User Interface Software Technology.-1996. P.36-45.

25. Borning A., Anderson R. Indigo: A Local Propagation Algorithm for Inequality Constraints II UIST'96.- Seatle.1996.- P.129-136.

26. Borning A., Duisberg. Constraint-Based Tools for Building User Interfaces //ACM Transactions on Graphics.- 1986,- Vol.5.- N.4.- P.345-374.

27. Borning A., Freeman-Benson B.N. The OTI Constraint Solver: A Constraint Library for Constructing Interactive Graphical User Interfaces // Proc. Constraint Programming'95. Springer-Verlag LNCS.1995 - Vol.910.

28. Borning A., Freeman-Benson B.N. Wilson M. Constraint Hierarchies // Lisp and Symbolic Computation.-1992,- N.5.- P.223-270.

29. Borning A., Marriott K., Stuckey P., Xiao Y. Solving Linear Arithmetic Constraints for User Interface Applications // Tech. Report 97-06-01, Dept. Computer Science & Engr. Seattle: Univ. Of Washington.- 1997.

30. Bouma W., Chen X., Fudos I., Hoffmann C. An Electronic Primer on Geometric Constraint Solving II Available on www.cs.purdue.edu/data/homes /cmh/electrobook.

31. Bouma W., Chen X., Fudos I., Hoffmann C, Cai J., Paige R. A Geometric Constraint Solver // Department of CS, Purdue Univ. Report CSD-TD-93-054.- 1993.

32. Bruberlin B. Symbolic Computer Geometry for Computer Aided Design. // In Advances in Design and Manufacturing Systems. Tempe - 1990.

33. Buchberger B., Collins G. Kutzer B. Algebraic methods for geometric reasoning //Annual Reviews in Computer Science1993. -N1. -P.123-176.

34. Carroll J.M. Interface Metaphors and User Interface Design II Handbook of Hunman-Computer Interaction /Ed M.Helander. North-Holland-1988.- P.67-85.

35. Cohen E.S., Swith E.T., Iverson L.A. Constraint Based Tiled Windows // IEEE Computer Graphics and Application - 1986 - N.5.- P.35-45.

36. Common Lisp Interface Maneger // Release 2.0,Specification Springer-Verlag.1995.- P.510.

37. DeMichiel L.G., Gabriel R.P. The Common Lisp Object System//Springer-Verlag,Lecture Notes in Computer Science, European Conference on Object-Oriented Programming.- 1987-Vol.276 P.151-170.

38. Donikian S., Hegron G. Constraint Managment in a Declarative Design Method for 3D Scene Sketch Modeling. II Eurographics'93 Conference Proceedings, Barcelone, Septembre- 1993. -P.111-123.

39. Donikian S., Rutten E. Reactivity, Concurrency, Data-Flow and Hierarchical Preemption for Behavioural Animation. //Proceedings of 5th Eurographics Workshop on Programming Paradigms in Graphics. Maastricht 1995.- P. 125-144.

40. Elliot C„ Schechter G., Yeung R„ Abi-Ezzi S. TBAG: A High Level Framefork for Interactive, Animated 3D Graphics Applications // Proceedings of SIGGRAPH 94, Computer Graphics Proceedings, Annual Conference Series,-P.421-434

41. Epstein D., Lalonde W.R. A Smalltalk Window System Based on Constraints // OOPSLA' 88 Proceedings.- 1988.-P.83-94.

42. Freeman-Benson B.N. A Module Mechanism for Constraints in SmallTalk // OOPSLA' 89 Proceedings.- 1989.- P.389-396.

43. Freeman-Benson B.N. Kaleidoscope: Mixing Objects, Constraints, and Imperative Programming // ECOOP/OOPSLA' 90 Proceeding.- 1990.- P.77-88.

44. Freeman-Benson B.N., Maloney J., and Borning A. An Incremental Constraint Solver // Communication of the ACM.- 1990.- Vol.33.- N.1.- P.54-63.

45. Fudos I. Correctness of a Geometric Constraint Solver // Computer Science, Purdue University TR-CSD-93-076 1993.

46. Fudos I. Editable representation for 2d geometric design.// Master's thesis, Purdue University, Dept.of Computer Science 1993.

47. Fuller N., Prusinkiewicz P. Geometric Modeling With Euclidean Constructions // New Trends in Computer Graphics / Ed N. Magnenat-Thalmann, D.Thaimann. Berlin.- 1988.- P.379-391.

48. Gleicher M. Practical Issues in Graphical Constraints //In V. Saraswat and P. Van Hentenryck, eds. Principles and Practice of Constraint Programming. MIT Press,-1994.

49. Gleicher M.,Witkin A. Drawing with Constraints // The Visual Computer.- 1994.- N.11(1).- P.39-51.

50. Gleicher M.,Witkin A. Through-the-Lens Camera Control // Computer Graphics-1992.- N.26(2).- P.331-340.

51. Goldberg A. Smalltalk-80: The Interactive Programming Environment. Massachusetts: Addison-Wesley,- 1984.

52. Goldberg A., Robson D. Smalltalk-80: The Language and its Implementation. Massachusetts: Addison-Wesley 1983.

53. Graf, W.H. The Constraint Based Layout Framework LayLab and Its Applications//Proceedings of the Workshop on Effective Abstractions in Multimedia Layout, Presentations, and Interaction in conjunction with ACM Multimedia '95, San Francisco 1995.

54. Green M. Report on Dialogue Specification Tools // User Interface Managment Systems Ed. G. E. Pfaff. Berlin: Springer-Verlag - 1985 - P.9-20.

55. Green M. The University of Alberta User Interface Managment System // Computer Graphics.- 1986.- Vol.3- N.3.- P.205-213.

56. Guy L.Steele Jr. Common Lisp:The language. Digital Press - 1984.

57. Helm R., Huynh T., Marriott K., Vlissides J. An object-oriented architecture for constraint-based graphical editing. // In Proceedings of the Third Eurographics Workshop on Object-oriented Graphics, Champery, Switzerland, October 1992.

58. Hewitt C. Viewing control structures as patterns of passing messages // Jornal of Artificial Intelligence.- 1977.-Vol.8.- N.3.- P.323-364.

59. Heydon A. Nelson G. The Juno-2 Constraint-Based Drawing Editor // SRC Research Report 131a. -D.E.C.- 1994.

60. Hill R.D. A 2-D Graphics System for Multi-User Interactive Graphics Based on Objects and Constraints // Advances in object-oriented Graphics I/ Ed. E.H. Blake, P. Wisskirchen.- Berlin: Springer Verlag.- 1991- P.67-92.

61. Hosobe H., Miyashita K., Takahashi S., Matsuoka S., Yonezawa A. Locally Simultaneous Constraint Satisfaction. // Principles and Practice of Constraint Programming vol. 874 of Lecture Notes in Computer Science, Springer-Verlag, Oct.- 1994.- P. 51-62

62. Hower W., Graf W.H. A bibliographical survey of constraint-based approaches to CAD, graphics, layout, visualization, and related topics // Knowledge-Based Systems Oxford, UK: Elsevier - 1996 - N9(7).- P.449-464.

63. Hull R., King R. Semantic Database Modeling: Survey, Application, and Research Issues //ACM Computing Surveys.-1987.- Vol.19.- N.3.

64. Hutchins E. Metaphors for Interface Design // The Structure of Multimodal Dialogue /Ed M.M. Taylor at al.- North-Holland.- 1989. P. 11-28.

65. Jones O. Introdaction to the X Window System.- New Jersey, Prentice Hall, 1989.

66. Johnson S.C. Yacc yet another compiler-compiler //CSTR-32 Bell Telephone Laboratories, 1974.

67. Kalra D., Barr A. H. A Constraint-Based Figure-Maker // Eurographics'90. Elsevier Science Publisher B.V.,1990. - P.413-424

68. Karsenty S.,Landey J.A.,Weikart C. Inferring graphical constraints with RocKit. // In: HCI'92 Conference on Piople and Computer VII.British Computer Society.-1992.-P.137-153.

69. Keene Sonya E. Object-Oriented Programming in COMMON LISP: A Programmer's Guide to CLOS. Addison-Wesley,1989.

70. Kin N., Noma T.,Kunii T.L. PictureEditor: A 2d Picture Editing System Based on Geometric Constructions and Constraints // New Advances in Computer Graphics/ Ed.RAEarnshaw, B.Wyvill. Tokyo,1989. - P.193-207.

71. Kurlander D., Feiner S. Inferring Constraints from Multiple Snapshots. // ACM Transactions on Graphics, -1993. N.12(4). P.277-304.

72. Lesk M.E. Lex lexical analyser generator // CSTR-39 Bell Telephone Laboratories, 1975.

73. LispWorks CAPI Reference Manual. Harlequin, 1998. - P.525

74. Maloney J.H., Borning A., Freeman-Benson B.N. Constraint Technology for User-Interface Construction in ThingLab II // OOPSLA'89 Proceedings. -1989. -P.381-388.

75. Maulsby D.L., Kittlitz K.A., Witten I.H. Constraint-Solving in Interactive Graphics: A User-Friendly Approach // New advances in computer graphics. Proceeding of CG International '89. 1989. - P.305-318.

76. McDaniel R. Myers B. A. Amulet's Dynamic And Flexible Prototype-Instance Object And Constraint System In C++. // Carnegie Mellon University School of Computer Science Technical Report CMU-CS-95-176 -1995.

77. McDaniel R. Myers B. A. Building Applications Using Only Demonstration, // IUr98lnternational Conference On Intelligent User Interfaces. -1998.-P. 109-116.

78. Myers B.A. Creating Interaction Techniques by Demonstration // IEEE Computer Graphics and Applications.- 1987.- P.51-60.

79. Myers B.A. Creating User Interfaces by Demonstration. Boston: Academic Press. - 1988.

80. Myers B.A. A New Model for Handling Input // ACM Transaction on Information Systems.-1990.-Vol.8.-N.3.- P.289-320.

81. Myers B.A., McDaniel R.G., Kosbie D.S. Marquise: Creating Complete User Interfaces by Demonstration // Proceedings INTERCHl'93.ln Human Factors in Computing Systems. Amsterdam, 1993. - P.293-300.

82. Myers B. A., Giuse D., Dannenberg R. B., Zanden B. V., Kosbie D., Pervin E., Mickish A., Marchal P. Garnet: Comprehensive Support for Graphical, Highly-Interactive User Interfaces.// IEEE Computer.- 1990.- Vol.23.- N.11.

83. Nelson G. Juno, a constraint-based graphics system // SIGGRAPH'85 1985.-Vol.19.- N.3.- P.235-243.

84. Noma T. at al. Drawing Input Through Geometrical Constructions: Specifications and Applications // New Trends in Computer Graphics /Ed N. Magnenat-Thalmann, D. Thaimann. Berlin1988.- P.403-415.

85. Sannella M. Constraint Satisfaction and Debugging for Interactive User Interface. // PhD.thesis.Dep. of CS.,Univ. of Washington,- 1994.

86. Sannella M. Sky Blue: A Multyway Local Propagation Constraints Solver for User Interface Construction. // Proceedings UIST'94, Marina del Rey. -C.A.,1994.- P.137-146.

87. Sannella M. The SkyBlue Constraint Solver and Its Application II Proceedings of the 1993 Workshop on Principles and Practice of Constarint Programming. MIT Press, 1994.

88. Scheifler R.W., Gettys J. The X Window System // ACM Transactions on Graphics.- 1986.-Vol.5.- N.2.- P.79-109.

89. Shneiderman B. Direct manipulation. A step beyong programming languages // Computer.-1983.- Vol.16.-N.8.-P.57-69.

90. Sussman G.J., Steele G.J. Constraints A language for Expressing Almost-Hierarchical Description // Artificial Intelligence: North-Holland Publishing Company - 1980.-P.1-39.

91. Sutherland I.E. Sketchpad: A Man-Machine Graphical Communication System // Proceedings of the Spring Join Computer Conference 1963.- P.329-345.

92. Szekely P.A., Myers B.A. A user interface toolkit based on graphical objects and constraints // OOPSLA'88 Proceeding.-1988.- P.36-45.

93. Tanimura T., Noma T., Okada N. Inferring Graphical Constraints from Users' Modification // In: Y. Anzai et al.(eds.), Symbiosis of Human and Artifact. -Elsevier.- 1995. -Vol.2. -P.205-210.

94. Thennarangam S., Singh G. Inferring 3-dimentional constraint with DEVI // Proceedings. Lecture Notes in Computer Science, Vol. 874. Springer 1994.-P.78-83.

95. Zanden B.V. An incremental algorithm for satisfying hierarchies of multy-way dataflow constraints //ACM TOPLAS. -1996. -N.18(1). -P.30-72.

96. Zanden B.V. Constraint grammars in user interface management systems // Graphics lnreface'88.- 1988.- P. 176-184.

97. Zanden B.V., Myers B.A. Demonstrational and Constraint-Based Techniques for Pictorially Specifying Application Objects and Behaviors // ACM Transactions on Computer-Human Interaction. -1995. -Vol.2. -N.4. -P.308-356.

98. White R.M. Applying Direct Manipulation to Geometric Construction System // New Trends in Computer Graphics /Ed N. Magnenat-Thalmann, D. Thaimann. -Berlin, 1988.- P.446-468.

99. Winston P.H. Artificial Intellegence. Addison-Wesley, 1993.-737 p.

100. Zalik B., Guid N., Vesel A. Triggering Machanism for Constraints Solving in Constraint-based Geometric Modeling System //IEEE Computer Systems and Software Engineering 1992 - P.544-549.