Anlamsal web yetenekli çok etmenli sistemler için bir alana özgü modelleme diline ait semantik

Çok-etmenli sistemler robotik, hava trafiği, güvenlik ve enerji gibi çeşitli alanlarda yaygın olarak uygulanmaktadır. Bu sebeple çok-etmenli sistemler için Genel Amaçlı Programlama Dillerine (örneğin Java) dayanan JADE, JACK, JADEX ve SEAGENT gibi çeşitli etmen platformları ya da ara yazılımları bulunmaktadır. Ancak gereksinim analizlerini tanımlayan kullanıcının karmaşık etmen sistemlerine ait özel programlama yapılarını bilmesine gerek yoktur. Diğer taraftan, etmen içsel yapısı ve etmenler arası etkileşimlere ait gereksinimler şu anki dünya geneli ağı (WWW) geliştiren Anlamsal Web gibi yeni ortamlar göz önüne alındığında daha da karmaşık bir hale gelmektedir. SEA_ML, Anlamsal Web ortamında çalışacak çok-etmenli sistemlerin literatürde yer alan ve yukarıda listelenen etmen platformlarından bağımsız bir şekilde geliştirilmesi için gerekli soyutlamayı sağlayacak ve kullanışlı bir metodoloji geliştirecek alana özgü bir modelleme dilidir. Bu tez kapsamında SEA_ML'e ait hem belirtimsel hem de işlevsel semantik tanımlanmıştır. SEA_ML formal semantiğini tanımlamak için ilk sıralı ve ilişkisel mantığa dayanan Alloy dili kullanılmıştır. SEA_ML model analizi Alloy aracı ile tamamlanmış ve semantiğin uygulaması ATL aracı kullanılarak model dönüşümleri ile sağlanmıştır.