Geri Dön

A design-by-contract based approach for architectural modelling and analysis

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

PDF İndir

  1. Tez No: 401693
  2. Yazar: MERT ÖZKAYA
  3. Danışmanlar: DR. CHRISTOS KLOUKINAS, DR. GEORGE SPANOUDAKIS
  4. Tez Türü: Doktora
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: Belirtilmemiş.
  7. Yıl: 2014
  8. Dil: İngilizce
  9. Üniversite: City University London
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Yazılım Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 245

Özet

Özet yok.

Özet (Çeviri)

Research on software architectures has been active since the early nineties, leading to a number of different architecture description languages (ADL). Given their importance in facilitating the communication of crucial system properties to different stakeholders and their analysis early on in the development of a system this is understandable. However, practitioners rarely use ADLs, and, instead, they insist on using the Unified Modelling Language (UML) for specifying software architectures. I attribute this to three main issues that have not been addressed altogether by the existing ADLs. Firstly, in their attempt to support formal analysis, current ADLs employ formal notations (i.e., mostly process algebras) that are rarely used among practitioners. Secondly, many ADLs focus on components in specifying software architectures, neglecting the first-class specification of complex interaction protocols as connectors. They view connectors as simple interaction links that merely identify the communicating components and their basic communication style (e.g., procedure call). So, complex interaction protocols are specified as part of components, which however reduce the re-usability of both. Lastly, there are also some ADLs that do support complex connectors. However, these include a centralised glue element in their connector structure that imposes a global ordering of actions on the interacting components. Such global constraints are not always realisable in a decentralised manner by the components that participate in these protocols. In this PhD thesis, I introduce a new architecture description language called XCD that supports the formal specification of software architectures without employing a complex formal notation and offers first-class connectors for maximising the re-use of components and protocols. Furthermore, by omitting any units for specifying global constraints (i.e., glue), the architecture specifications in XCD are guaranteed to be realisable in a decentralised manner. I show in the thesis how XCD extends Design-by-Contract (DbC) for specifying (i) protocol-independent components and (ii) complex connectors, which can impose only local constraints to guarantee their realisability. Use of DbC will hopefully make it easier for practitioners to use the language, compared to languages using process algebras. I also show the precise translation of XCD into SPIN's formal ProMeLa language for formally verifying software architectures that (i) services offered by components are always used correctly, (ii) the component behaviours are always complete, (iii) there are no race-conditions, (iv) there is no deadlock, and (v) for components having event communications, there is no overflow of event buffers. Finally, I evaluate XCD via five well-known case studies and illustrate XCD's enhanced modularity, expressive DbC-based notation, and guaranteed realisability for architecture specifications.

Benzer Tezler

  1. Tez No

    75621

    Mağaza aydınlatmasında dört köşe yaklaşımı metodu ve Türkiye'deki uygulamaları

    Başlık çevirisi yok

    MURAT KUZUMOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    1998

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

    Elektrik Mühendisliği Ana Bilim Dalı

    DOÇ. DR. SERMİN ONAYGİL

  2. Tez No

    841854

    Dijital tasarım araçları ile yeniden yorumlanan ve üretilen froebel blokları üzerinden 4-6 yaş çocukların mekan-hackleme süreçlerinin değerlendirilmesi

    Evaluation of space-hacking process of 4-6 year old children through froebel blocks reinterpreted and produced with digital design tools

    NİLHAN KAYA

    Yüksek Lisans

    Türkçe

    Türkçe

    2023

    Eğitim ve Öğretimİstanbul Teknik Üniversitesi

    İç Mimari Tasarım Ana Bilim Dalı

    DOÇ. DR. ETHEM GÜRER

  3. Tez No

    877825

    Mimari restorasyon projelerinin yönetimi

    Management of architectural restoration projects

    SEZER SAVAŞ

    Doktora

    Türkçe

    Türkçe

    2024

    Mimarlıkİstanbul Teknik Üniversitesi

    Mimarlık Ana Bilim Dalı

    DOÇ. DR. EMRAH ACAR

    DR. DAMLA ACAR

  4. Tez No

    739766

    Bankacılık sektöründe dış kaynak çalışan yönetiminin iyileştirilmesinde bilgi teknolojileri kullanımına yönelik bir uygulama

    An application to use information technologies to improve management of outsourced employee in the banking industry

    SEREN AKBABA

    Yüksek Lisans

    Türkçe

    Türkçe

    2022

    İşletmeİstanbul Teknik Üniversitesi

    İşletme Mühendisliği Ana Bilim Dalı

    DOÇ. DR. NİHAN YILDIRIM

  5. Tez No

    39585

    Bina yapımında simülasyon yaklaşımıyla maliyet tahmini

    Cost estimating with simulation approach in building construction

    NİLÜFER YAYLAGÜL

    Yüksek Lisans

    Türkçe

    Türkçe

    1994

    Mimarlıkİstanbul Teknik Üniversitesi

    Bina Yapım Yönetimi Bilim Dalı

    PROF. DR. HEYECAN GİRİTLİ

Geri Dön