MENTAhttp://code.google.com/p/menta/

ПРОБЛЕМА

Please add field TTT to main page Remove

customer address from main page

… add functional ….

Add field…

Remove field…

Please add field TTT to main page

СУЩЕСТВУЮЩИЕ ПОДХОДЫ

MAVEN Rational Rose И т.д.

ПРОБЛЕМЫ ПОДХОДОВ

Небольшое изменение модели – генерируются заново модули и вся логика из них стирается

Необходимо строгое знание нотации, причем в рамках того пакеты, на котором работаешь

Ограниченный список языков для сгенерированного кода

ВЗГЛЯД С ДРУГОЙ СТОРОНЫ

• Лингвистический анализ входящего требования

(СR, Requirement, bug report, и т.д.)

• Поиск оптимального решения в базе знаний

• Модификация семантической модели

приложения

• Генерация приложения

ЛИНГВИСТИЧЕСКИЙ АНАЛИЗ

Stanford Parser Input: “Add global counters to Customer”

amod(counters-3, global-2) dobj(Add-1, counters-3) prep_to(Add-1, Customer-5)

СЕМАНТИЧЕСКАЯ МОДЕЛЬ

ПРЕДСТАВЛЕНИЯ ДЛЯ ЧЕЛОВЕКА

КОМПЬЮТЕР ВИДИТ

СЕМАНТИЧЕСКОЕ ПРЕДСТАВЛЕНИЕ

ОНТОЛОГИИ

Онтологии RDFS

Классы Индивиды Связи (предикаты)

OWL +ограничения на доменную область + ограничения на существование, количество

связей (например, можно сказать что все объекты класса person имеют mother, которая тоже person или можносказать, что person имеет только двух родителей)

БАЗА ЗНАНИЙ

Содержит HOW-TOs Tutorials Знания полученные от экспертов

Представляет из себя Формализованную семантическую

модель

ПОИСК РЕШЕНИЯ

Стохастический поиск Генетический Байесовский

Проверка решения Оценка действенности того или иного

How-To – Присвоение веса Сохранение веса в некоем

абстрактном виде в базе знаний

ПРИМЕНЕНИЕ ИЗМЕНЕНИЙ

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

МОДИФИКАЦИЯ МОДЕЛИ

ГЕНЕРАЦИЯ

ГЕНЕРАЦИЯ

ДИАГРАММА ВЗАИМОДЕЙСТВИЯ

ЗАКЛЮЧЕНИЕ

Результаты Концепция будущего развития

Микроядро Модификация парсера Самообучение

Апробация на реальном процессе