Geri Dön

Inter-model consistency checking and restoration with triple graph grammars

Başlık çevirisi mevcut değil.

PDF İndir

  1. Tez No: 630828
  2. Yazar: ERHAN LEBLEBİCİ
  3. Danışmanlar: YRD. DOÇ. DANIŞMAN YOK
  4. Tez Türü: Doktora
  5. Konular: Dilbilim, Linguistics
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2018
  8. Dil: İngilizce
  9. Üniversite: Technische Universität Darmstadt
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 185

Özet

Özet yok.

Özet (Çeviri)

Software development is a complex task. The success of a software project highly relies on the involvement of domain experts in the development process. In re cent years, therefore, the field of software engineering has been striving to elevate the level of abstraction towards domain-specific concepts (instead of the computa tion-oriented nature of classical programming languages). Model-Driven Engineer ing (MDE), a novel software development methodology, lies at the heart of these efforts. In MDE, a model represents an abstraction of a system with one specific goal in mind. Hence, theMDEstrategy does not only deal with abstractions but also advocates the co-existence of related models capturing different aspects of the same system. While this supports separation of concerns, consistency management between related models becomes a crucial challenge as models are changed throughout their life cycle. Two basic building blocks of consistency management are (i) consistency checking to indicate whether or to what extent two related models are consistent and (ii) consistency restoration to suitably handle discrepancies between models. To address consistency management tasks in a formally-founded manner, bidi rectional transformations (BX) have been established as a research area. Among the diverse BX approaches, Triple Graph Grammars (TGGs) represent a prominent tech nique with various implementations and industrial applications. In this setting, models are formalized as graphs and consistency is described as a grammar con structing two consistent models together with a correspondence model. Consis tency management tools are then automatically derived from this description. Current TGG approaches (and in fact also BX approaches in general) focus on consistency scenarios where only one model is maintained by human intelligence at the same time and the other one is automatically updated by consistency restoration. Consistency management between two concurrently developed models, however, is not sufficiently supported as practical solutions for consistency checking are essentially missing. Strategies for consistency restoration, furthermore, range from heuristics to auxiliary model analyses which constitute the most complex and least understood part of TGGs. Despite sharing the same basic goal and the same formal foundation, it is difficult to exchange ideas amongst the different TGG approaches. In this thesis, therefore, we first establish consistency checking as a novel use case of TGGs.We identify search space problems in consistency checking and over come them by combining TGGs with linear optimization techniques. Second, we propose a novel consistency restoration procedure that exploits incremental pattern matching techniques to address the intermediate steps of consistency restoration in a simplified manner. Furthermore, we present a TGG tool that implements our formal results and experimentally evaluate its scalability in real-world consistency scenarios. Finally, we report on an industrial project from the mechanical engi neering domain where we applied this tool for maintaining consistency between computer-aided design and mechatronic simulation models.

Benzer Tezler

  1. Tez No

    75589

    Demiryolu ağında trafik sayımlarından O-D matrisi tahmini

    Başlık çevirisi yok

    ZEYNEP AĞCI

    Yüksek Lisans

    Türkçe

    Türkçe

    1998

    İnşaat Mühendisliğiİstanbul Teknik Üniversitesi

    Ulaştırma Ana Bilim Dalı

    PROF. DR. HALUK GERÇEK

  2. Tez No

    365593

    Model-driven variability management in choreography specification

    Koreografi tanımında model tabanlı değişkenlik yönetimi

    SELMA SÜLOĞLU

    Doktora

    İngilizce

    İngilizce

    2013

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik Üniversitesi

    Bilgisayar Mühendisliği Bölümü

    PROF. DR. ALİ HİKMET DOĞRU

    YRD. DOÇ. DR. BEDİR TEKİNERDOĞAN

  3. Tez No

    55637

    Mevcut planlama pratiğinde toplum yararı yaklaşımının değerlendirilmesi-İstanbul örneği

    Başlık çevirisi yok

    SELEN ÖZKAN

    Yüksek Lisans

    Türkçe

    Türkçe

    1996

    Şehircilik ve Bölge Planlamaİstanbul Teknik Üniversitesi

    PROF.DR. AYTEN ÇETİNER

  4. Tez No

    14110

    Esnek üretim sistemleri için bir etkin üretim denetleme modeli

    An Effective supervisory control model for flexible manufacturing systems

    BAHAR KORKUSUZ

    Doktora

    Türkçe

    Türkçe

    1989

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

    PROF.DR. GÖNÜL YENERSOY

  5. Tez No

    517404

    Hücresel mımo haberleşme sistemlerinde antenler arası ortak etkileşimin etkileri

    Effects of mutual coupling between the antennas on the cellular mimo systems

    MEHMET AKİF BAKIRLI

    Yüksek Lisans

    Türkçe

    Türkçe

    2018

    Elektrik ve Elektronik Mühendisliğiİstanbul Teknik Üniversitesi

    Elektronik ve Haberleşme Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ÖZGÜR ÖZDEMİR

Geri Dön