Research Information System
OĞUZTÜZÜN M. H. S. (Executive)
TUBITAK Project, 1001 - Program for Supporting Scientific and Technological Research Projects, 2016 - 2018
Bir dinamik yazılım
ürün hattı (DYÜH), bir değişkenlik modelinin güdümünde, dinamik olarak yeniden-yapılandırılabilir bir
sistemdir. Bir DYÜH, yaşam döngüsü boyunca değişen gereksinimlere karşılık
verebilmek için evrilmek durumundadır. Değişkenlik modeli bu evrim sürecinin
bir parçasıdır. Çalışmamızda değişkenlik modellemesi için özellik modellerini
benimsedik. Özellik modelinin evrilmesi bir üst-model ile temsil edilmiş ve
buradan FEMEL adını verdiğimiz özel amaçlı dile ulaşılmıştır. FEMEL özellik
modelinin evriminde rol alan model dönüşümlerini belirtmeyi sağlayan bir
dildir. Bir FEMEL betiğinde yer alan komutların belirttiği dönüşümleri icra
eden bir yorumlayıcı geliştirilmiştir. Dilin ve yorumlayıcının etkinliği iki
gerçekçi örnek ile sınanmıştır. Bunlardan biri dinamik ortamda çalışan bir
sistem, diğeri 1200’den fazla özelliği olan bir sistemdir. Özellik modeli üzerindeki değişiklikler,
sentaktik bakımdan düzgün biçimlendirilmiş, ancak semantik bakımından kabul
edilemez olabilir (boş model gibi).
Dolayısıyla, özellik modellerinin semantik geçerliliğini denetlemek ve global
kısıtlar gibi diğer özelliklerini irdelemek için, analiz işlemleri gereklidir. Verilen
özellik modelini istenen analiz işlemiyle birlikte kısıt mantık programlaması
temelli bir ara koda çeviren ve oradan hedeflenen kısıt çözücüye girdi üreten
bir derleyici geliştirilmiştir. Ayrıca,
RMM adını verdiğimiz, bilgisayar
sistemlerinin uzaktan izlenmesini sağlayan gerçekçi bir DYÜH tasarlanmış ve
gerçekleştirilmiştir. RMM yapısı içinde, özellik modeline uyarlanmış bir dinamik
kısıt sağlama algoritması yer almaktadır. Bu algoritma, sistem şimdiki
konfigürasyondan yeni konfigürasyona geçerken oluşabilecek sarsıntıyı en aza
indirgemektedir. RMM ilerideki DYÜH çalışmaları için üzerinde yeni fikirlerin
denenebileceği bir ortam sağlayacaktır.