Прова - Prova
Прова является Открытый исходный код язык программирования это объединяет Пролог с Ява.
Описание
Prova основана на правилах сценарии система, которая используется для промежуточное ПО. В языке сочетаются императив и декларативное программирование с помощью синтаксиса пролога, который позволяет вызывать функции Java. Таким образом, надежная кодовая база Java сочетается с такими функциями Prolog, как отслеживание с возвратом.
Prova происходит от Мандаракс, основанный на Java вывод система, разработанная Йенс Дитрих. Prova расширяет Mandarax, предоставляя правильный язык синтаксис, интеграция собственного синтаксиса с Java, обмен сообщениями агента и правила реакции. Развитие этого языка было поддержано грантом, предоставленным в рамках проектов ЕС GeneStream и BioGRID. В проекте язык используется как основа на основе правил для распределенных веб-приложения в биомедицине интеграция данных, в частности, GoPubMed система.
Цели дизайна Prova:
- Объединить декларативный и объектно-ориентированного программирования.
- Представьте логику и поведение агента как правила.
- Доступ источники данных через обертки написано на Java или командная строка снаряды как Perl.
- Сделайте Java API различных пакетов доступным в виде правил.
- Запускать в среде выполнения Java.
- Давать возможность быстрое прототипирование приложений.
- Предложите платформу на основе правил для программирование распределенного агента.
Prova стремится обеспечить поддержку задач интеграции данных, когда важно следующее:
- Прозрачность локации (локальная, удаленная, зеркала);
- Прозрачность формата (база данных, RDF, XML, HTML, плоские файлы, вычислительный ресурс);
- Устойчивость к изменениям (базы данных и веб-сайты часто меняются);
- Использование открытых и Открытый исходный код технологии;
- Понятность и модифицируемость для не ИТ-специалиста;
- Экономичный представление знаний;
- Расширяемость с дополнительным функционалом;
- Использование онтологии.
Prova использовалась в качестве ключевого механизма интеграции сервисов в Xcalia продукт, где он используется для расчета эффективных глобальных планов выполнения для нескольких источников данных, таких как веб-службы, TP отслеживает транзакции, такие как CICS или же IMS, сообщения мамы вроде MQ-серия, упакованные приложения с Разъем JCA, устаревшие источники данных на мэйнфреймах с соединителем JCA, удаленные объекты EJB Java, рассматриваемые как поставщики данных, или даже локальные объекты Java. Prova позволяет поставлять инновационную программную платформу для Сервис-Ориентированная Архитектура реализации.
Рекомендации
- А. Козленков и М. Шредер. PROVA: Java-скрипты на основе правил для биоинформатической семантической сети. В Э. Раме, редакторе Международного семинара по интеграции данных в естественных науках, Лейпциг, Германия, в Lecture Notes in Computer Science, Springer-Verlag, vol. 2994, стр. 17–30, 2004.
- Н. Комбс, Ж.-Л. Ардуант. Правила и сценарии в искусственном интеллекте игр, AAAI 2004 Workshop on Challenges in Game AI, 2004.
- Дж. Дитрих, А. Козленков, М. Шредер, Г. Вагнер. Агенты на основе правил для семантической паутины, исследований и приложений электронной торговли, т. 2, вып. 4. С. 323–338, 2004.
- А. Пашке, М. Бихлер и Дж. Дитрих. ContractLog: подход к мониторингу и выполнению соглашений об уровне обслуживания на основе правил, Int. Конф. по правилам и языкам разметки правил для семантической сети (RuleML 2005), Голуэй, Ирландия, 2005.
- А. Козленков, Р. Пеналоза, В. Нигам, Л. Ройер, Г. Давельбайт, М. Шредер. Prova: Java Scripting на основе правил для распределенных веб-приложений: тематическое исследование в области биоинформатики, реактивность в веб-семинаре, Мюнхен, 2006 г.