Managing menta hl eatlh ni tough times - help for mental ...€¦ ·
MENTA
description
Transcript of MENTA
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 – Присвоение веса Сохранение веса в некоем
абстрактном виде в базе знаний
ПРИМЕНЕНИЕ ИЗМЕНЕНИЙ
На основе выбранного набора решений в семантическую модель добавляется изменение
МОДИФИКАЦИЯ МОДЕЛИ
ГЕНЕРАЦИЯ
ГЕНЕРАЦИЯ
ДИАГРАММА ВЗАИМОДЕЙСТВИЯ
ЗАКЛЮЧЕНИЕ
Результаты Концепция будущего развития
Микроядро Модификация парсера Самообучение
Апробация на реальном процессе