Geri Dön

Design and evolution of sociotechnical systems a requirements engineering perspective

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

PDF İndir

  1. Tez No: 622353
  2. Yazar: FATMA BAŞAK AYDEMİR
  3. Danışmanlar: PROF. DR. DANIŞMAN YOK
  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: 2016
  8. Dil: İngilizce
  9. Üniversite: Unıversıta Deglı Studı Dı Trento
  10. Enstitü: Yurtdışı Enstitü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Özet

Sociotechnical systems are systems of systems where social, technical, and organizational systems interact with each other to satisfy their requirements. The interplay of social and technical systems blurs the borders in between them, and the constant change within and outside the sociotechncial systems create difficulties to manage the overall evolution. This thesis explores the methods to model, analyse, and evolve the requirements of sociotechnical systems. We propose a systematic design process and a formal language to aid social systems refine their requirements into not other requirements but also social interactions to generate system as well as interaction specifications. Although such specifications are useful to generate interaction protocols among systems, they haven't been investigated in detail by the requirements engineering community. We then explore the design space created during the design process with artificial intelligence planing to discover sequence of actions to satisfy requirements with minimal cost. We adopt an iterative approach for handling requirements evolution and focus on the problem of selecting the optimal set of requirements for the next release. We capture synergies among requirements in goal-oriented requirements models and transform the next release problem into a multi-objective satisfiability modulo theories/optimization modulo theories problem and solve it using an external reasoner. We apply a similar approach for risk analysis using goal models. We model goals, risks, and treatments in three layers and solve multi-objective risk analysis problem with SMT/OMT reasoning. We evaluate our proposal with self-evaluation studies, a case study and scalability experiments and report results. The novelty of these two approaches is the combination of satisfiability analysis with multi-objective optimization for goal models. Keywords requirements engineering, sociotechnical systems, design, social commitments, planing, next release problem, multi-objective optimization, satisfiability modulo theories, optimization modulo theories, risk analysis, goal-models

Özet (Çeviri)

Özet çevirisi mevcut değil.

Benzer Tezler

  1. Tez No

    534843

    Etmen tabanlı modelleme ve simülasyon yaklaşımı ile gemi trafik hizmetleri sosyo teknik sisteminin analizi

    Analysis of vessel traffic services socio technical system with agent based modelling and simulation approach

    BERAT DAĞKIRAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2018

    Denizcilikİstanbul Teknik Üniversitesi

    Deniz Ulaştırma İşletme Mühendisliği Ana Bilim Dalı

    DR. ÖĞR. ÜYESİ PELİN BOLAT

  2. Tez No

    1015945

    Dijital erişilebilirlik bağlamında kullanıcı memnuniyeti odaklı bir değerlendirme itü kaum internet sayfası örneklemi

    A user satisfaction oriented evaluation in the scope of digital accessibility the case of itu kaum website

    OYLUM BÜLBÜL

    Yüksek Lisans

    Türkçe

    Türkçe

    2026

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

    Kentsel Tasarım Ana Bilim Dalı

    PROF. DR. HATİCE AYATAÇ

  3. Tez No

    252

    İzmir'de bazı yolların kapatılarak yaya bölgeleri oluşturma da kent peyzajını geliştirme açısından yeniden planlanması üzerinde araştırmalar

    Başlık çevirisi yok

    BAHAR TÜRKYILMAZ

    Yüksek Lisans

    Türkçe

    Türkçe

    1985

    Şehircilik ve Bölge PlanlamaEge Üniversitesi

    Şehir ve Bölge Planlama Ana Bilim Dalı

  4. Tez No

    353

    Kam yapma aparatı

    Cam milling attachment

    ORHAN UZUN

    Yüksek Lisans

    Türkçe

    Türkçe

    1986

    Makine MühendisliğiGazi Üniversitesi

    Makine Mühendisliği Ana Bilim Dalı

    DOÇ. DR. FEVZİ ERCAN

  5. Tez No

    154

    Osilaskoplar için dijital hafıza ünitesi sentezi

    Başlık çevirisi yok

    ZİHNİ LİMAN

    Yüksek Lisans

    Türkçe

    Türkçe

    1985

    Elektrik ve Elektronik MühendisliğiUludağ Üniversitesi

    Elektronik Ana Bilim Dalı

    PROF. DR. ERGÜR TÜTÜNCÜOĞLU

Geri Dön