Prova - Prova
Prova je otevřený zdroj programovací jazyk který kombinuje Prolog s Jáva.
Popis
Prova je založena na pravidlech skriptování systém, který se používá pro middleware. Jazyk se kombinuje rozkazovací způsob a deklarativní programování pomocí syntaxe prologu, která umožňuje volání funkcí Java. Tímto způsobem je kombinována silná základna kódu Java s funkcemi Prologu, jako je zpětné sledování.
Prova je odvozen z Mandarax, založené na Javě odvození systém vyvinutý společností Jens Dietrich. Prova rozšiřuje Mandarax tím, že poskytuje správný jazyk syntax, integrace nativní syntaxe s Javou, zasílání zpráv agentů a pravidla reakce. Rozvoj tohoto jazyka byl podpořen grantem poskytnutým v rámci projektů EU GeneStream a BioGRID. V projektu je jazyk používán jako páteř založená na pravidlech pro distribuci webové aplikace v biomedicíně integrace dat, zejména GoPubMed Systém.
Cíle designu společnosti Prova:
- Kombajn deklarativní a objektově orientované programování.
- Vystavte logiku a chování agenta jako pravidla.
- Přístup zdroje dat přes obaly napsaný v Javě nebo příkazový řádek skořápky jako Perl.
- Zpřístupněte rozhraní Java API různých balíčků jako pravidla.
- Běh v prostředí Java runtime.
- Umožnit rychlé prototypování aplikací.
- Nabídněte platformu založenou na pravidlech pro distribuované programování agentů.
Prova si klade za cíl poskytnout podporu pro úlohy integrace dat, když je důležité následující:
- Průhlednost umístění (místní, dálkové ovládání, zrcadla);
- Transparentnost formátu (databáze, RDF, XML, HTML, ploché soubory, výpočetní zdroj);
- Odolnost vůči změnám (databáze a webové stránky se často mění);
- Použití otevřených a otevřený zdroj technologie;
- Srozumitelnost a upravitelnost jiným než IT specialistou;
- Hospodárný reprezentace znalostí;
- Rozšiřitelnost o další funkce;
- Využití ontologie.
Prova byla použita jako klíčový motor pro integraci služeb v Xcalia Produkt, kde se používá k výpočtu efektivních globálních plánů provádění napříč více zdroji dat, jako jsou webové služby, TP sleduje transakce jako CICS nebo IMS, zprávy MOM jako Řada MQ, zabalené aplikace s a JCA konektor, starší zdroje dat na sálových počítačích s konektorem JCA, vzdálené objekty Java EJB považované za poskytovatele dat nebo dokonce místní objekty Java. Prova umožňuje dodávat inovativní softwarovou platformu pro Architektura orientovaná na služby implementace.
Reference
- A. Kozlenkov a M. Schroeder. PROVA: Pravidlové skriptování Java pro sémantický web v bioinformatice. In E. Rahm, editor, International Workshop on Data Integration in the Life Sciences, Leipzig, Germany, in Lecture Notes in Computer Science, Springer-Verlag, vol. 2994, s. 17–30, 2004.
- N. Combs a J.-L. Ardoint. Pravidla versus skripty ve hrách Artificial Intelligence, AAAI 2004 Workshop on Challenges in Game AI, 2004.
- J. Dietrich, A. Kozlenkov, M. Schroeder a G. Wagner. Rule-based Agents for the Semantic Web, Electronic Commerce Research and Applications, vol. 2, č. 4, s. 323–338, 2004.
- A. Paschke, M. Bichler a J. Dietrich. ContractLog: Přístup k monitorování a provádění dohod o úrovni služeb na základě pravidel, Int. Konf. o pravidlech a jazycích označování pravidel pro sémantický web (RuleML 2005), Galway, Irsko, 2005.
- A. Kozlenkov, R. Penaloza, V. Nigam, L. Royer, G. Dawelbait a M. Schroeder. Prova: Skriptování Java založené na pravidlech pro distribuované webové aplikace: Případová studie v bioinformatice, Workshop reaktivity na webu, Mnichov 2006.