Prova - Prova
Prova é uma linguagem de programação de código aberto que combina Prolog com Java .
Descrição
Prova é um sistema de script baseado em regras usado para middleware . A linguagem combina programação imperativa e declarativa usando uma sintaxe de prólogo que permite chamadas para funções Java. Desta forma, uma forte base de código Java é combinada com recursos do Prolog, como backtracking.
Prova é derivado do Mandarax, um sistema de inferência baseado em Java desenvolvido por Jens Dietrich . Prova estende o Mandarax, fornecendo uma sintaxe de linguagem adequada , integração de sintaxe nativa com Java, mensagens de agente e regras de reação . O desenvolvimento desta linguagem foi apoiado pelo subsídio concedido no âmbito dos projetos da UE GeneStream e BioGRID. No projeto, a linguagem é utilizada como backbone baseado em regras para aplicações web distribuídas na integração de dados biomédicos , em particular, o sistema GoPubMed .
Os objetivos de design da Prova:
- Combine programação declarativa e orientada a objetos .
- Exponha a lógica e o comportamento do agente como regras.
- Acesse fontes de dados por meio de wrappers escritos em Java ou shells de linha de comando como Perl .
- Torne a API Java de vários pacotes acessíveis como regras.
- Execute dentro do Java runtime.
- Ative a prototipagem rápida de aplicativos.
- Oferece uma plataforma baseada em regras para programação de agente distribuído .
Prova tem como objetivo fornecer suporte para tarefas de integração de dados quando o seguinte é importante:
- Transparência de localização (local, remoto, espelhos);
- Transparência de formato (banco de dados, RDF , XML , HTML , arquivos planos , recursos de computação);
- Resiliência a mudanças (bancos de dados e sites mudam com freqüência);
- Uso de tecnologias open source e open source ;
- Compreensibilidade e modificabilidade por um especialista que não seja de TI;
- Representação do conhecimento econômico ;
- Extensibilidade com funcionalidade adicional;
- Aproveitando ontologias .
Prova tem sido usado como o principal mecanismo de integração de serviços no produto Xcalia, onde é usado para calcular planos de execução global eficientes em várias fontes de dados, como serviços da Web, TP monitora transações como CICS ou IMS , mensagens de MOM como MQ-Series , empacotadas aplicativos com um conector JCA , fontes de dados legadas em mainframes com um conector JCA, objetos Java EJB remotos considerados como provedores de dados ou mesmo objetos Java locais. Prova permite entregar uma plataforma de software inovadora para implementações de arquitetura orientada a serviços .
Referências
- A. Kozlenkov e M. Schroeder. PROVA: Java-Scripting baseado em regras para uma Web Semântica de Bioinformática . Em E. Rahm, editor, Workshop Internacional sobre Integração de Dados nas Ciências da Vida, Leipzig, Alemanha, em Lecture Notes in Computer Science, Springer-Verlag, vol. 2994, pp. 17-30, 2004.
- N. Combs e J.-L. Ardoint. Regras versus Scripts em Jogos de Inteligência Artificial, AAAI 2004 Workshop on Challenges in Game AI, 2004.
- J. Dietrich, A. Kozlenkov, M. Schroeder e G. Wagner. Agentes Baseados em Regras para a Web Semântica, Pesquisa e Aplicativos de Comércio Eletrônico, vol. 2, não. 4, pp. 323-338, 2004.
- A. Paschke, M. Bichler e J. Dietrich. ContractLog: Uma abordagem para monitoramento baseado em regras e execução de acordos de nível de serviço, Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML 2005), Galway, Ireland, 2005.
- A. Kozlenkov, R. Penaloza, V. Nigam, L. Royer, G. Dawelbait e M. Schroeder. Prova: Script Java baseado em regras para aplicativos da Web distribuídos: um estudo de caso em bioinformática, Workshop de reatividade na Web, Munique 2006.