Prova - Prova
Prova , Prolog'u Java ile birleştiren açık kaynaklı bir programlama dilidir .
Açıklama
Prova, ara katman yazılımı için kullanılan kural tabanlı bir komut dosyası oluşturma sistemidir . Dil, Java işlevlerine çağrı yapılmasına izin veren bir prolog sözdizimi kullanarak zorunlu ve bildirimsel programlamayı birleştirir . Bu şekilde, güçlü bir Java kod tabanı, geri izleme gibi Prolog özellikleriyle birleştirilir.
Prova, Jens Dietrich tarafından geliştirilen Java tabanlı bir çıkarım sistemi olan Mandarax'tan türetilmiştir . Prova, uygun bir dil sözdizimi , Java ile yerel sözdizimi entegrasyonu, aracı mesajlaşma ve tepki kuralları sağlayarak Mandarax'ı genişletir . Bu dilin gelişimi, AB projeleri GeneStream ve BioGRID kapsamında sağlanan hibe ile desteklenmiştir. Projede GoPubMed sistemi başta olmak üzere biyomedikal veri entegrasyonunda dağıtık web uygulamaları için kural tabanlı bir omurga olarak dil kullanılmaktadır .
Prova'nın tasarım hedefleri:
- Birleştirin bildirim ve nesne yönelimli programlama .
- Mantığı ve aracı davranışını kural olarak gösterin.
- Java ile yazılmış sarmalayıcılar veya Perl gibi komut satırı kabukları aracılığıyla veri kaynaklarına erişin .
- Çeşitli paketlerin Java API'sini kural olarak erişilebilir hale getirin.
- Java çalışma zamanı içinde çalıştırın.
- Uygulamaların hızlı prototiplenmesini sağlayın .
- Dağıtılmış aracı programlama için kural tabanlı bir platform sunun .
Prova, aşağıdakilerin önemli olduğu durumlarda veri entegrasyon görevleri için destek sağlamayı amaçlar:
- Konum şeffaflığı (yerel, uzak, aynalar);
- Biçim şeffaflığı (veritabanı, RDF , XML , HTML , düz dosyalar , hesaplama kaynağı);
- Değişime karşı dayanıklılık (veritabanları ve web siteleri sıklıkla değişir);
- Açık ve açık kaynak teknolojilerinin kullanımı;
- BT uzmanı olmayan bir kişi tarafından anlaşılabilirlik ve değiştirilebilirlik;
- Ekonomik bilgi temsili ;
- Ek işlevsellik ile genişletilebilirlik;
- Ontolojilerden yararlanma .
Prova, Xcalia ürününde, Web hizmetleri, TP, CICS veya IMS gibi işlemleri izleme , MQ-Series gibi MOM mesajları , paketler gibi birden çok veri kaynağında verimli küresel yürütme planlarını hesaplamak için kullanıldığı Xcalia ürününde anahtar hizmet entegrasyon motoru olarak kullanılmıştır. JCA bağlayıcılı uygulamalar, JCA bağlayıcılı anabilgisayarlardaki eski veri kaynakları, veri sağlayıcıları olarak kabul edilen uzak EJB Java nesneleri ve hatta yerel Java nesneleri. Prova, Hizmet odaklı mimari uygulamaları için yenilikçi bir yazılım platformu sunmaya olanak tanır .
Referanslar
- A. Kozlenkov ve M. Schroeder. PROVA: Bir Biyoinformatik Semantik Web için Kural Tabanlı Java Komut Dosyası Oluşturma . E. Rahm, editör, International Workshop on Data Integration in the Life Sciences, Leipzig, Almanya, Lecture Notes in Computer Science, Springer-Verlag, cilt. 2994, s. 17-30, 2004.
- N. Combs ve J.-L. Ardoint. Oyunlar Yapay Zekasında Kurallara Karşı Komut Dosyaları, AAAI 2004 Oyun Yapay Zekasındaki Zorluklar Çalıştayı, 2004.
- J. Dietrich, A. Kozlenkov, M. Schroeder ve G. Wagner. Anlamsal Web için Kural Tabanlı Aracılar, Elektronik Ticaret Araştırma ve Uygulamaları, cilt. 2, hayır. 4, s. 323-338, 2004.
- A. Paschke, M. Bichler ve J. Dietrich. ContractLog: Hizmet Düzeyi Anlaşmalarının Kural Bazlı İzleme ve Yürütülmesine Yönelik Bir Yaklaşım, Int. Konf. Semantic Web için Kurallar ve Kural İşaretleme Dilleri (RuleML 2005), Galway, İrlanda, 2005.
- A. Kozlenkov, R. Penaloza, V. Nigam, L. Royer, G. Dawelbait ve M. Schroeder. Prova: Dağıtılmış Web Uygulamaları için Kural Tabanlı Java Komut Dosyası Oluşturma: Biyoinformatikte Bir Vaka Çalışması, Web'de Reaktivite Çalıştayı, Münih 2006.