Modeling variability in component oriented software engineering
Bileşen yönelimli yazılım mühendisliğinde değişkenlik yönetimi
- Tez No: 416440
- Danışmanlar: PROF. DR. ALİ HİKMET DOĞRU
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Belirtilmemiş.
- Yıl: 2015
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 116
Özet
Bileşen yönelimli uygulamalarda esneklik, bileşenleri değişikliklere olanak verir şekilde tasarlayarak ve sistemler için yeni bileşenler geliştirme yerine var olanları sisteme adapte ederek sağlanabilir. Çeşitli ihtiyaçları zamanında ve az çabayla karşılayabilmek için Bileşen Yönelimli Yazılım Mühendisliği Modelleme Dili (COSEML) için değişkenlik tanımlaması ve sistem konfigürasyon ortamı sunan bir metamodel tasarlanmıştır. Değişkenlik, ayrışma yaklaşımını vurgulayan Mimari Betimleme Dili (ADL) olarak görülebilecek COSEML'ye entegre edilmiştir. COSEML'nin bu genişletilmiş versiyonu XCOSEML olarak adlandırılmıştır. Bu yeni alana özgü dilin metin tabanlı versiyonu örneklerle birlikte anlatılmıştır. Ayrıca, bileşen birleşimlerini değişkenliği de dahil ederek biçimsel olarak inceleyen bir yaklaşım önerilmiştir. Bu yaklaşım doğrulama karmaşıklığını azaltarak değişken yoğunluklu bileşen yönelimli sistem geliştirmeyi kolaylaştırmaktadır. XCOSMEL'den Özellikli Geçiş Sistemleri'ne (FTS) model dönüşümleri adım adım anlatılmıştır. Böylece FTS ile doğrulama yapmak için gerekli değişken bileşen birleşiminin özellik modeline ve davranış dili fPromela'ya dönüşümler gerçekleştirilmiştir.
Özet (Çeviri)
A key factor for achieving flexible component oriented applications is to make the components possbile to change and adapt instead of creating and using them from scratch. In order to fulfil various needs in time with little effort, a new metamodel is proposed that establishes a variability specification and system configuration environment for Component Oriented Software Engineering Modeling Language (COSEML). Variability is integrated to COSEML that can be viewed as an Architectural Description Language emphasizing the decomposition view. We refer to this extended version of COSEML as XCOSEML. The textual version of this domain specific language is presented and demonstrated with examples. Moreover, an approach to formally verify component compositions incorporating variability is proposed which eases variability-intensive component oriented system development by reducing complexity of verification. A step by step model transformation approach from XCOSEML to Featured Transition System (FTS) is used which helps generation of FTS models, namely required feature model of the variable component composition and its fPromela specification.
Benzer Tezler
- Variable connectors in component oriented development
Bileşen yönelimli geliştirmede değişken bağlayıcılar
ANIL ÇETİNKAYA
Yüksek Lisans
İngilizce
2017
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ALİ HİKMET DOĞRU
- An approach for introducing a set of domain specific components
Alana özgü bileşen kümesini ortaya çıkarmak için bir yaklaşım
İBRAHİM ONURALP YİĞİT
Yüksek Lisans
İngilizce
2015
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ALİ HİKMET DOĞRU
- İnsan hatalarını sayısallaştırmak için bir model
A model for quantifying of human error
COŞKUN ÖZKAN
Doktora
Türkçe
1992
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. AHMET F. ÖZOK
- Metabolism-oriented multiomics data integration
Farklı omı̇k verı̇lerı̇n metabolı̇zma odaklı entegrasyonu
AYCAN ŞAHİN
Yüksek Lisans
İngilizce
2024
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
DOÇ. ALİ ÇAKMAK
- Plant-wide process analysis targeting reliable estimation of biogas production from anaerobic sludge digestion
Anaerobik çamur çürütme prosesinden biyogaz üretiminin güvenilir tahminine yönelik tesis geneli proses analizi
GÖKŞİN ÖZYILDIZ
Doktora
İngilizce
2024
Çevre Mühendisliğiİstanbul Teknik ÜniversitesiÇevre Mühendisliği Ana Bilim Dalı
PROF. DR. HAYRETTİN GÜÇLÜ İNSEL