Design and evolution of sociotechnical systems a requirements engineering perspective
Başlık çevirisi mevcut değil.
- Tez No: 622353
- Danışmanlar: PROF. DR. DANIŞMAN YOK
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2016
- Dil: İngilizce
- Üniversite: Universita Degli Studi Di Trento
- Enstitü: Yurtdışı Enstitü
- Ana Bilim Dalı: Belirtilmemiş.
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 124
Ö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
- 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
2018
Denizcilikİstanbul Teknik ÜniversitesiDeniz Ulaştırma Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ PELİN BOLAT
- Toplam kalite yönetimi, kalite güvencesi sistemleri ve Türkiye'deki uygulamaları
Total quality management, quality assurance systems and their applications in Turkey
AHMET BEŞKESE
Yüksek Lisans
Türkçe
1995
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. ATAÇ SOYSAL
- Denizcilikte kompleks sistem kaza analizi için yeni bir model önerisi
Novel approach for maritime complex system accident analysis
BULUT OZAN CEYLAN
Doktora
Türkçe
2023
Deniz Bilimleriİstanbul Teknik ÜniversitesiDeniz Ulaştırma Mühendisliği Ana Bilim Dalı
PROF. DR. YASİN ARSLANOĞLU
- Analyzing transition dynamics the actor-option framework for modelling socio-technical systems
Başlık çevirisi yok
GÖNENÇ YÜCEL
Doktora
İngilizce
2010
Endüstri ve Endüstri MühendisliğiTechnische Universiteit Delft (Delft University of Technology)PROF. C. E. VAN DAALEN
- Makroergonomik açıdan sistem mühendisliği ve sistemde kazalara yol açabilecek kritik ergonomik sorunların incelenmesi
System engineering with regards to macroergonomics and investigation of the critical ergonomic problems that may lead to accidents
YİĞİT ÇAĞLAR
Yüksek Lisans
Türkçe
2019
Endüstri ve Endüstri MühendisliğiGazi ÜniversitesiKazaların Çevresel ve Teknik Araştırması Ana Bilim Dalı
PROF. DR. MUSTAFA KURT