Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Categories:

Логика в Smalltalk

Пара ссылок -- вдруг кому понадобится ;)

На сайте системы логического программирования SOUL в Smalltalk http://prog.vub.ac.be/SOUL/index.html рассказано не только про поиск паттернов в коде, но и о гладкой гибридизации аспектного программирования, объектно-ориентированного программирования и rule-based программирования (http://prog.vub.ac.be/SOUL/Publications.html). Про эти "гибридные аспекты" см. диссертацию PhD http://ssel.vub.ac.be/research/PhD/thesisMaja.pdf. Если отвлечься от именно Smalltalk, то подробно разъясняется про связь ОО, аспектности и business rules вот тут: http://ssel.vub.ac.be/members/MariaAgustinaCibran/publications/JCMSE_Cibran%20et%20al.pdf (вообще, эта Viviane Jonckers раскапывает эту тему "неявное использование методов AI в современном программировании").

Суперпланировщик http://www.mediagenix.com/ -- написан на Smalltalk, при его написании использовался SOUL (подробнее об этом в последней главе диссертации http://prog.vub.ac.be/Publications/2001/vub-prog-phd-01-01.pdf). Это VisualWork Smalltalk. Решаемые при помощи SOUL там задачи? Немного странные, но интересные -- например, за 7 дней synchronize the UML diagrams from the MediaManagement module with the implementation. Машины, на которых это делалось, обескураживают: Pentium 266Мгц и 64Мбайт памяти. Другая задача IMHO много более полезна: были приняты (устно, конечно ;) некоторые соглашения о программировании, и требовалось проверить по исходному коду, как программисты их соблюдают. Итог: нашли 8 ошибок и кучу очень сомнительных мест в коде (для последующего рефакторинга). Интереснее было бы, если бы они запихнули этот SOUL внутрь планировщика.

Есть и порт Пролога в Сквик, но это не так интересно.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 0 comments