Пробный

Prova — это с открытым исходным кодом язык программирования , сочетающий в себе Пролог и Java .

Описание

Prova — это основанная на правилах система сценариев , которая используется для промежуточного программного обеспечения . Язык сочетает в себе императивное и декларативное программирование за счет использования синтаксиса пролога, который позволяет вызывать функции Java. Таким образом, мощная база кода Java сочетается с такими функциями Пролога, как возврат.

на основе Java, Prova является производным от Mandarax, системы вывода разработанной Йенсом Дитрихом . Prova расширяет Mandarax, предоставляя правильный синтаксис языка , интеграцию встроенного синтаксиса с Java, обмен сообщениями агентов и правила реагирования . Развитие этого языка было поддержано грантом, предоставленным в рамках проектов ЕС GeneStream и BioGRID. В проекте язык используется как основанная на правилах основа для распределенных веб-приложений по интеграции биомедицинских данных , в частности, системы GoPubMed .

Цели дизайна Prova:

Комбинируйте декларативное и объектно-ориентированное программирование .
Представляйте логику и поведение агентов как правила.
Доступ к источникам данных осуществляется через оболочки, написанные на Java, или оболочки командной строки, такие как Perl .
Сделайте Java API различных пакетов доступными в виде правил.
Запуск в среде выполнения Java.
Обеспечьте быстрое прототипирование приложений.
Предложите основанную на правилах платформу для распределенного программирования агентов .

Цель Prova — обеспечить поддержку задач интеграции данных, когда важно следующее:

Прозрачность местоположения (локальное, удаленное, зеркала);
Прозрачность формата (база данных, RDF , XML , HTML , плоские файлы , вычислительный ресурс);
Устойчивость к изменениям (базы данных и веб-сайты часто меняются);
Использование открытых и открытых технологий;
Понятность и дорабатываемость неайтишником;
экономических Представление знаний ;
Расширяемость дополнительным функционалом;
Использование онтологий .

Prova использовалась в качестве ключевого механизма интеграции сервисов в продукте Xcalia , где она использовалась для расчета эффективных глобальных планов выполнения для нескольких источников данных, таких как веб-службы, TP отслеживает транзакции, такие как CICS или IMS , сообщения MOM, такие как MQ-Series , упакованные приложения с разъемом JCA , устаревшие источники данных на мэйнфреймах с разъемом JCA, удаленные объекты EJB Java, рассматриваемые как поставщики данных, или даже локальные объекты Java. Prova позволяет предоставить инновационную программную платформу для реализации сервис-ориентированной архитектуры .

Ссылки

А. Козленков и М. Шредер. PROVA: Java-скрипты на основе правил для семантической сети биоинформатики . В Э. Раме, редакторе Международного семинара по интеграции данных в науках о жизни, Лейпциг, Германия, в конспектах лекций по информатике, Springer-Verlag, vol. 2994, стр. 17–30, 2004.
Н. Комбс и Ж.-Л. Ардоинт. Правила и сценарии в играх с искусственным интеллектом, Семинар AAAI 2004 г. по проблемам игрового ИИ, 2004 г.
Й. Дитрих, А. Козленков, М. Шредер и Г. Вагнер. Агенты на основе правил для семантической сети, Исследования и приложения в области электронной коммерции, том. 2, нет. 4, стр. 323–338, 2004.
А. Пашке, М. Бихлер и Й. Дитрих. ContractLog: подход к мониторингу на основе правил и выполнению соглашений об уровне обслуживания, Int. Конф. «Правила и языки разметки правил для семантической сети» (RuleML 2005), Голуэй, Ирландия, 2005 г.
А. Козленков, Р. Пеналоса, В. Нигам, Л. Ройер, Г. Давелбейт и М. Шредер. Прова: Java-скрипты на основе правил для распределенных веб-приложений: пример биоинформатики, семинар по реактивности в Интернете, Мюнхен, 2006 г.

Внешние ссылки

Попробуйте домашнюю страницу