Geri Dön

Multi-target implementation of a domain specific language for extended feature models

Genişletilmiş özellik modelleri için bir alana özgü dilin çok hedefli gerçekleştirimi

PDF İndir

  1. Tez No: 541335
  2. Yazar: GÖRKEM DEMİRTAŞ
  3. Danışmanlar: PROF. DR. MEHMET HALİT SEYFULLAH OĞUZTÜZÜN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2018
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 80

Özet

Özellik modellerinin kısıtlı mantık programına dönüştürülmesi, var olan kısıt problemi çözücüler ile bu modellerin otomatik analizi için etkili bir yöntemdir. Hedef kısıtlı mantık programına kullanıcı tanımlı kısıt yüklemleri eklemek için bir sözdizimi ve mekanizma sunulması, model geliştirme ve analiz aşamalarına esneklik kazandırabilir. Bu kısıtlar, örneğin evrensel kısıtlar, kısıt problemi çözücü tarafından veya derleyici çıktısına dahil olarak tanımlanabilir. Derleyici ve hedef çalışma ortamı arasındaki bağlantıyı kuracak programcının kullanımı için derleyici hedefe özgü bir parametre alma mekanizması tanımlar. Bu mekanizma ile tanımlanan kısıtlar, dış veri tabanları ve uygulamaya özgü algoritmalar kullanabilir böylece modelin oluşturulması ve alana bağlı gereksinimlerin analize dahil edilmesi süreçleri birbirinden bağımsız hale getirilebilir. Uygulamada bu kısıtlar, çözüm değişkenlerinin alabileceği değerleri kısıtlayarak sonuç ürün yapılandırma kümesini küçülmesini sağlar. Bu çalışmada, farklı kısıt problemi çözücü ortamlarını destekleyen bir genişletimiş özellik modeli derleyicisi kaynak dil sözdizimi, kullanıcı tanımlı yüklem etkileşim mekanizması ile anlatılmıştır.

Özet (Çeviri)

Translation of feature models to constraint logic programs is an effective method to enable their automated analysis using existing constraint solvers. More flexibility can be offered for building and application of analysis operations on extended feature models by providing a syntax and mechanism for interfacing the host solver with user defined constraint predicates. These constraints, such as global constraints, can be provided by the constraint solver runtime or by the translator itself as a part of the output. The translator defines a specific parameter passing mechanism for each target environment to be used by the programmer who creates the binding between the translator and the environment. These constraint predicates can use external data sources such as relational databases and application specific algorithms thus separating the concerns of building the model and incorporating domain requirements in analysis steps. In practice such constraints reduce the labeling possibilities for the solver, thereby narrowing down the set of results, i.e. a product's configurations. We describe the design and implementation of an extended feature model compiler supporting syntax for arbitrary predicates, that targets multiple constraint solvers.

Benzer Tezler

  1. Tez No

    437834

    Anlamsal web yetenekli çok-etmenli sistemler için alana özgü bir modelleme dili

    A domaın-specıfıc modelıng language for semantıc web enabled multı-agent systems

    Moharram Challenger

    Doktora

    Türkçe

    Türkçe

    2016

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEge Üniversitesi

    Uluslararası Bilgisayar Ana Bilim Dalı

    DOÇ. DR. GEYLANİ KARDAŞ

  2. Tez No

    878655

    A hierarchical key assignment scheme: A unified approach for scalability and efficiency, with a specialized implementation in cloud computing

    Hiyerarşik anahtar atama şeması: Ölçeklenebilirlik ve verimlilik için bütünleşik bir yaklaşım ve bulut bilişim için özelleştirilmiş bir gerçekleme

    İBRAHİM ÇELİKBİLEK

    Doktora

    İngilizce

    İngilizce

    2024

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    Bilişim Uygulamaları Ana Bilim Dalı

    PROF. DR. ENVER ÖZDEMİR

  3. Tez No

    439597

    A knowledge discovery approach to urban analysis the Beyoğlu preservation area as a data mine

    Kent analizinde bir bilgi keşfi yaklaşımı bir veri madeni olarak Beyoğlu kentsel koruma alanı

    AHU SÖKMENOĞLU SOHTORİK

    Doktora

    İngilizce

    İngilizce

    2016

    Mimarlıkİstanbul Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    PROF. DR. GÜLEN ÇAĞDAŞ

    PROF. DR. İKBAL SEVİL SARIYILDIZ

  4. Tez No

    897790

    A new MILP formulation for crude oil scheduling optimization: A case study in a Turkish refinery

    Ham petrol planlama optimizasyonu için yeni bir MILP formülasyonu: Bir Türk rafinerisinde vaka çalışması

    İREM MARTTİN

    Yüksek Lisans

    İngilizce

    İngilizce

    2023

    Endüstri ve Endüstri Mühendisliğiİstanbul Teknik Üniversitesi

    Endüstri Mühendisliği Ana Bilim Dalı

    PROF. DR. ÖZGÜR KABAK

  5. Tez No

    618974

    Ayrışık konumlarda artan türevler açılımı (Akata), taylor toplamdizi açılımları ile karşılaştırım

    Separate node ascending derivatives expansion (Snade), comparison with taylor series expansion

    DERYA BODUR

    Doktora

    Türkçe

    Türkçe

    2020

    Matematikİstanbul Teknik Üniversitesi

    Hesaplamalı Bilimler ve Mühendislik Ana Bilim Dalı

    PROF. DR. METİN DEMİRALP

Geri Dön