Факт-ориентированное моделирование

[ailev]

Международный семинар по факт-ориентированному моделированию состоится 4-6 ноябра 2009г. в Vilamoura, Portugal (ORM2009, http://otm-conferences.com/index.php/orm09). Факто-ориентированное моделирование -- это основанный на естественном языке концептуальный подход к

Comments

[avlasov]

Факт-ориентированное моделирование - интересный подход. Я как раз, когда с Геллиш познакомился, осознал его круть.

[ailev]

А дальше нужно просто размыть границу между "моделированием" и "программированием". Это и есть основной тренд в сегодняшнем программировании.

[avlasov]

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

[109]

вроде бы геллиш поддерживает только факты типа субъект-отношение-объект (в вашей терминологии это будет, наверное, "бинарное отношение"). как запомнить факт типа "вася познакомился с петей первого апреля в мухосранске", уже непонятно.

[ailev]

Однако, в книжке по Геллишу это подробно разжевано -- это просто несколько бинарных молекулярных отношений. Более того, одна строчка в геллиш-таблице (с одной тройкой) сама по себе представляет свертку из 12 атомарных отношений.

[109]

ну вот на примере с васей и петей, это как будет? а то у меня нет книжки по геллишу, где всё разжёвано, а в интернете, там где database schema геллиша нарисована, там непонятно.

[ailev]

Книжка по Геллишу вот тут: http://repository.tudelft.nl/file/313741/306185

Рекомендую прочесть. Мне эта книжка очень понравилась.