Model management for hypothesis-driven simulation experiment workflows
Tezin Türü: Doktora
Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Fen Bilimleri Enstitüsü, BİLGİSAYAR MÜHENDİSLİĞİ ANABİLİM DALI, Türkiye
Tezin Onay Tarihi: 2022
Tezin Dili: İngilizce
Öğrenci: SEMA ÇAM
Danışman: MEHMET HALİT S. OĞUZTÜZÜN
Açık Arşiv Koleksiyonu: AVESİS Açık Erişim Koleksiyonu
Özet:Hesaplamalı bilim ve mühendislikteki günümüz atılımları sayesinde, araştırma uzmanları artık bilgisayarlarda birçok deneyi simüle edebilirler. Deney tanımı, bilimsel araştırmanın yeniden kullanılabilirliği ve yeniden üretilebilirliği için çerçeveler ve destek sistemlerinin yanı sıra alana özgü diller, alan modelleri, ontolojiler, veri modelleri, istatistiksel analiz yöntemleri ve ilgili formalizmlere sahip diğer araç ve varlık türleri tarafından desteklenir. Buna rağmen, deney belirtimi için çoğu çerçeve veya destek aracı, hipotezleri görmezden gelir ve uygun şekilde ifade edilen hipotezlere dayalı bir prosedürden yoksundur. Deneysel süreçte hipotez eksikliği ile ilgili temel sorun, bir deneyin inanılırlığının ve tekrarlanabilirliğinin hatalı veya yetersiz kayıttan ötürü zarar görmesidir. Ayrıca, test için model, metamodel, araç ve verilerin çeşitliliği, Küresel Model Yönetimi (KMY) ihtiyacını beraberinde getirir. Bu bağlamda KMY, model tabanlı mühendislik metodolojilerini kullanarak simülasyon deneylerinin belgelenmesi, paylaşılması, yeniden kullanılabilirliği ve tekrarlanabilirliğini arttırır. Bu tez, bilimsel bir iş akışı olarak açık hipotezlerle simülasyon deneylerini kolaylaştırmak için KMY'nin nasıl kullanılacağını gösterir ve simülasyon deneyinde hedeflenen hipotezin açık bir şekilde belirtilmesini içeren Simülasyon Deneyi Açıklama İşaretleme Dili'ne (SED-ML) bir uzantı önerir. Megamodel, ve ya modeller ve metamodeller için bir kayıt defteri, özellikle bir simülasyon projesinde kullanılan yapıtları yönetmek için bir depo olarak hizmet etmek üzere oluşturulur. Tanımlama, girdi veri üretimi, deney yürütme ve çıktı veri analizi dahil olmak üzere bir simülasyon deneyinin tüm adımları megamodel tarafından etkin bir şekilde ele alınır. Daha sonra vaka çalışmaları kullanılarak KMY'nin simülasyon deneylerine uygulanabilirliği gösterilmiştir. Bize göre KMY, hem deney varlıklarını hem de deney süreçlerini yönetmek için sağlam bir çerçeve sağlar.