Bir dinamik yazılım ürün hattı (DYÜH), bir degiskenlik modelinin güdümünde, dinamik olarak yeniden-yapılandırılabilir bir sistemdir. Bir DYÜH, yasam döngüsü boyunca degisen gereksinimlere karsılık verebilmek için evrilmek durumundadır. Degiskenlik modeli bu evrim sürecinin bir parçasıdır. Çalısmamızda degiskenlik modellemesi için özellik modellerini benimsedik. Özellik modelinin evrilmesi bir üst-model ile temsil edilmis ve buradan FEMEL adını verdigimiz özel amaçlı dile ulasılmıstır. FEMEL özellik modelinin evriminde rol alan model dönüsümlerini belirtmeyi saglayan bir dildir. Bir FEMEL betiginde yer alan komutların belirttigi dönüsümleri icra eden bir yorumlayıcı gelistirilmistir. Dilin ve yorumlayıcının etkinligi iki gerçekçi örnek ile sınanmıstır. Bunlardan biri dinamik ortamda çalısan bir sistem, digeri 1200?den fazla özelligi olan bir sistemdir. Özellik modeli üzerindeki degisiklikler, sentaktik bakımdan düzgün biçimlendirilmis, ancak semantik bakımından kabul edilemez olabilir (bos model gibi). Dolayısıyla, özellik modellerinin semantik geçerliligini denetlemek ve global kısıtlar gibi diger özelliklerini irdelemek için, analiz islemleri gereklidir. Verilen özellik modelini istenen analiz islemiyle 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 gelistirilmistir. Ayrıca, RMM adını verdigimiz, bilgisayar sistemlerinin uzaktan izlenmesini saglayan gerçekçi bir DYÜH tasarlanmıs ve gerçeklestirilmistir. RMM yapısı içinde, özellik modeline uyarlanmıs bir dinamik kısıt saglama algoritması yer almaktadır. Bu algoritma, sistem simdiki konfigürasyondan yeni konfigürasyona geçerken olusabilecek sarsıntıyı en aza indirgemektedir. RMM ilerideki DYÜH çalısmaları için üzerinde yeni fikirlerin denenebilecegi bir ortam saglayacaktır.