Bilgisayar Destekli Denetim Ontolojisi



Benzer belgeler
ÖĞRETİM TEKNOLOJİLERİ VE MATERYAL TASARIMI Yrd. Doç. Dr. FATİH ÇINAR TEMEL KAVRAMLAR. Öğretim teknolojisi

YENİ BİLGİ MODELLEME VE PROGRAMLAMA FELSEFESİYLE SEMANTIC WEB


Köylerin Altyapısının Desteklenmesi Yatırım İzleme Bilgi Sistemi Projesi - KÖYDES T.C. İÇİŞLERİ BAKANLIĞI MAHALLİ İDARELER GENEL MÜDÜRLÜĞÜ

Özgür Yazılım Eğitim Yönetim Sistemleri

e-defter Hakkında Uygulayıcılara Notlar

Yrd. Doç. Dr. Tuğba ÖZACAR ÖZTÜRK

UZAKTAN EĞİTİM MERKEZİ

Kültür Varlıklarının Web Otomasyonu

Bilgi Teknolojileri Yönetişimi Denetim Konferansı BTYD 2010

Yazılım Yeniden Yapılamaya Yönelik Bir Kurumsal Mimari: Model Güdümlü ve Ontoloji Tabanlı Bir Yaklaşım

Spring Ekosisteminde Kurumsal Yazılım Geliştirme. Kenan Sevindik Harezmi Bilişim Çözümleri A.Ş.

Yrd. Doç. Dr. Övünç ÖZTÜRK

YÖNETİM SİSTEMLERİ. TS EN ISO Kalite Yönetim Sistemi TS EN ISO Çevre Yönetim Sistemi TS (OHSAS) İSG Yönetim Sistemi

KAPSAM YEMİNLİ MALİ MÜŞAVİRLİK LTD. ŞTİ.

XBRL. Şükrü ŞENALP Yeminli Mali Müşavir Sorumlu Ortak Baş Denetçi

ISSAI UYGULAMA GİRİŞİMİ 3i Programı

Yaz.Müh.Ders Notları #6 1

SBE16 / Akıllı Metropoller Ekim 2016 / İSTANBUL

ERTÜRK YEMİNLİ MALİ MÜŞAVİRLİK VE BAĞIMSIZ DENETİM A.Ş. SİRKÜLER 2014/85


T.C. SAYIŞTAY BAŞKANLIĞI AYDIN BELEDİYESİ 2012 YILI DENETİM RAPORU

Kurumsal bilgiye hızlı ve kolay erişim Bütünleşik Belge Yönetimi ve İş Akış Sistemi içinde belgeler, Türkçe ve İngilizce metin arama desteği ile içeri

Semantik Web Bulutunun (Linked Data Cloud) Oluşumu ve Gelişim Durumu

Yazılım Mimari Tasarımından Yazılım Geliştirme Çatısının Üretilmesinde Model Güdümlü Bir Yaklaşım

Bilecik Üniversitesi Mühendislik Fakültesi Moodle Uzaktan Öğretim Sistemi

T.C. DİYANET İŞLERİ BAŞKANLIĞI Strateji Geliştirme Başkanlığı

DENETİMDE YAZILIM ARAÇLARININ KULLANILMASI KONULU EUROSAI SEMİNERİ

MÜFREDAT DERS LİSTESİ

Anlamsal Web te SKOS Kullanılarak Bilgi Organizasyonu

XIII. NE ÜRETELİM? ETKİNLİKLERİ VE PROJE YARIŞMASI 2016 PROJE ÖNERİSİ HAZIRLAMA KILAVUZU

T.C. SAYIŞTAY BAŞKANLIĞI İSTANBUL BAŞAKŞEHİR BELEDİYESİ 2012 YILI DENETİM RAPORU

İÇ KONTROL UYGULAMALARINDA DIŞ DENETİM. FEYZULLAH OKUMUŞ (Sayıştay Uzman Denetçisi) MESUT ÜNAL (Sayıştay Uzman Denetçisi)

YÜKSEK DENETİM DÜNYASINDAN HABERLER 9. ASOSAI ARAŞTIRMA PROJESİ IŞIĞINDA İÇ DENETİM VE İÇ DENETİM BİRİMLERİ İLE SAYIŞTAYLAR ARASINDAKİ İLİŞKİLER

Dünya CBS Günü Kasım 2015, Ankara

Bir yazılım geliştirme metodolojisi aşağıdaki adımlardan meydana gelir; Yazılım geliştirme sürecine destek verecek araçlar, modeller ve yöntemler.

Bu rapor, 6085 sayılı Sayıştay Kanunu uyarınca yürütülen düzenlilik denetimi sonucu hazırlanmıştır.

Google Web Toolkit ile Öğretim Elemanı Otomasyon Sistemi

T.C. SAYIŞTAY BAŞKANLIĞI MERSİN AKDENİZ BELEDİYESİ 2012 YILI DENETİM RAPORU

Üniversite Öğrencilerinin Sosyal Ağ Bilgi Güvenlik Farkındalıkları

KAMU YÖNETİMİNİN YENİDEN YAPILANDIRILMASI ULUSAL BİLGİ SİSTEMİ VERİ TABANI TASARIMI

mmcube Çokluortam Bilgi Sistemi

Genel Eğitim Planı

Assist. Prof. Dr. Övünç ÖZTÜRK

denetim mali müşavirlik hizmetleri

BBY 163: Bilgi Yönetimi Kavramları

Bu rapor, 6085 sayılı Sayıştay Kanunu uyarınca yürütülen düzenlilik denetimi sonucu hazırlanmıştır.

Semantik Bilgi Yönetimi

KAMU ALIMLARI YOLUYLA TEKNOLOJİ GELİŞTİRME VE YERLİ ÜRETİM PROGRAMI EYLEM PLANI

UZAY TEKNOLOJİLERİ ARAŞTIRMA ENSTİTÜSÜ

KENT BİLGİ SİSTEMİNİN BİR ALT SİSTEMİ OLARAK İSTATİSTİKSEL BİLGİ SİSTEMİ VE TÜRKİYE İÇİN 2008 YILINDA İSTATİSTİKSEL BİLGİ SİSTEMİ KULLANIM DURUMU *

Anlamsal Web Politika Dillerinin Karşılaştırılması

T.C. SAYIŞTAY BAŞKANLIĞI BURSA BÜYÜKŞEHİR BELEDİYESİ SU VE KANALİZASYON İDARESİ GENEL MÜDÜRLÜĞÜ 2012 YILI DENETİM RAPORU

Android e Giriş. Öğr.Gör. Utku SOBUTAY

Bu rapor, 6085 sayılı Sayıştay Kanunu uyarınca yürütülen düzenlilik denetimi sonucu hazırlanmıştır.

VERİ KAYNAKLARI. Bilgi sisteminin öğelerinden biride veri

BAKIM TEKNOLOJİSİNDE YENİLİKLER

T.C. SAYIŞTAY BAŞKANLIĞI BURSA NİLÜFER BELEDİYESİ 2012 YILI DENETİM RAPORU

Mobil Cihazlardan Web Servis Sunumu

T.C. ADANA BİLİM VE TEKNOLOJİ ÜNİVERSİTESİ Strateji Geliştirme Daire Başkanlığı SORU VE CEVAPLARLA KAMU İÇ KONTROL STANDARTLARI UYUM EYLEM PLANI

BİLGİ SİSTEMLERİNİN GELİŞTİRİLMESİ

DENİZLİ BÜYÜKŞEHİR BELEDİYESİ 2014 YILI SAYIŞTAY DENETİM RAPORU

T.C. SAYIŞTAY BAŞKANLIĞI

Türkiye Klinik Kalite Programı

Kurumsal Kimlik Yönetimi ve Güçlü Kimlik Doğrulama. Yılmaz Çankaya

Electronic Letters on Science & Engineering 2(2) (2011) Available online at

T.C. ERCİYES ÜNİVERSİTESİ MÜHENDİSLİK FAKÜLTESİ BİLGİSAYAR MÜHENDİSLİĞİ BÖLÜMÜ EĞİTİM ÖĞRETİM YILI DERS KATALOĞU

T.C. KOCAELİ ÜNİVERSİTESİ TEKNOLOJİ TRANSFER OFİSİ YÖNERGESİ. BİRİNCİ BÖLÜM Amaç, Kapsam, Dayanak ve Tanımlar

DPT MÜSTEŞARLIĞI PERFORMANS ANLAŞMASI HAZIRLAYANLAR: Erhan KARACAN Adile TUNÇER Ömer Faruk GÜLSOY

T.C. ATATÜRK ÜNİVERSİTESİ EDEBİYAT FAKÜLTESİ BİLGİ VE BELGE YÖNETİMİ BÖLÜMÜ SEMANTİK WEB HAZIRLAYAN: LEYLA BOLAT SEMİNER

2013/101 (Y) BTYK nın 25. Toplantısı. Üstün Yetenekli Bireyler Stratejisi nin İzlenmesi [2013/101] KARAR

ISSA İYİ UYGULAMA ÖRNEKLERİMİZ

BİLGİ VE BELGE YÖNETİMİ BÖLÜMÜ LİSANS EĞİTİM BAHAR DÖNEMİ PROGRAMI

Java ve Linux. Bora Güngören Portakal Teknoloji Akademik Bilişim

Elektronik Ortamda Kayıt Saklama (431 Sıra No lu Vergi Usul Kanunu)

Tekir (Ön Muhasebe Yazılımı)

Statik Kod Analizi. Proceedings/Bildiriler Kitabı. SSE-CMM[3], ISO/IEC [3] gibi standartlarla. gereklidir.

Dijital Dönüşümde BT Maliyet Yönetimi

Bilgi Sistemleri Uygulama ve Araştırma Merkezi Faaliyet Raporu

Kamu Yönetimi Bölümü Ders Tanımları

T.C. ORTA ANADOLU KALKINMA AJANSI İÇ DENETÇİLİĞİ T.C. ORTA ANADOLU KALKINMA AJANSI 2015 YILI İÇ DENETİM PROGRAMI. İÇ DENETÇİ Mustafa KARAKAYA KAYSERİ

AB AKADEMİK BİLİŞİM KONFERANSI. 4-6 Şubat 2015 ANADOLU ÜNİVERSİTESİ ESKİŞEHİR

T.C. SAYIŞTAY BAŞKANLIĞI İSTANBUL ELEKTRİK, TRAMVAY VE TÜNEL İŞLETMELERİ GENEL MÜDÜRLÜĞÜ 2012 YILI DENETİM RAPORU

T.C. SAYIŞTAY BAŞKANLIĞI

CORINE 1990 ve 2006 Uydu Görüntüsü Yorumlama Projesi. Kurum adı : T.C. Orman ve Su İşleri Bakanlığı. Proje durumu : Tamamlandı.

SIRA NO SORUMLU BİRİM FAALİYET SORUMLU DURUM AÇIKLAMA

MÜŞTERİ İLİŞKİLERİ YÖNETİMİ (PZL208U)

Android Telefonlarla Yol Bozukluklarının Takibi: Kitle Kaynaklı Alternatif Çözüm

CYMSOFT Bilişim Teknolojileri

Bu rapor, 6085 sayılı Sayıştay Kanunu uyarınca yürütülen düzenlilik denetimi sonucu hazırlanmıştır.

21- BÖLGESEL POLİTİKA VE YAPISAL ARAÇLARIN KOORDİNASYONU

SİRKÜLER RAPOR VERGİ USUL KANUNU SİRKÜLERİ. (Sıra No :431)

Bölüm 1: Veritabanı Yönetim Sistemlerine Giriş

VERİ TABANI YÖNETİM SİSTEMLERİ

BGYS ve BGYS Kurma Deneyimleri

Kurumlarda E-imzaya Yapılması Gerekenler TODAİE E Sunumu. Ferda Topcan Başuzman Araştırmacı ferdat@uekae.tubitak.gov.tr (312)

TÜRKİYE BİLİMSEL VE TEKNOLOJİK ARAŞTIRMA KURUMU ULUSAL AKADEMİK AĞ VE BİLGİ MERKEZİ YÖNETMELİĞİ. BİRİNCİ BÖLÜM Genel Hükümler

Üniversite Senatosu nun tarih ve 2016/26 sayılı toplantısında kabul edilmiştir.

EĞİTİM Doktora Orta Doğu Teknik Üniversitesi, Ankara Eğitim Fakültesi, Bilgisayar Öğretimi ve Teknolojileri Bölümü

Transkript:

Akademik Bilişim 11 - XIII. Akademik Bilişim Konferansı Bildirileri 2-4 Şubat 2011 İnönü Üniversitesi, Malatya Bilgisayar Destekli Denetim Ontolojisi Melik Yücel 1, Erdem Alparslan 1, Kürşat Taşkın 2 1 TÜBİTAK, UEKAE, Gebze 2 KOMTAŞ Bilgi Yön. A.Ş., Ankara yucel@uekae.tubitak.gov.tr, ealparslan@uekae.tubitak.gov.tr, kursat.taskin@komtas.com Özet: Bilgisayar Destekli Denetim (BDD), denetim faaliyetlerinin elektronik veriler üzerinden denetime yönelik olarak geliştirilmiş analitik araç ve teknikler kullanılarak gerçekleştirilmesi olarak tanımlanmaktadır. Artan ekonomik faaliyetler ve teknolojik gelişme ile birlikte veriler anormal bir şekilde büyümektedir. Buna paralel olarak yüksek hacimli veriler üzerinde klasik yöntemlerle denetim yapılması da imkansız hale gelmiştir. Bu durum özellikle SAYIŞTAY gibi kamu kurumlarının hemen tümünü denetleyen bir kurum için bilgisayar destekli denetimi zorunlu kılar. Ancak verilerin büyüklüğünün yanında veri kaynaklarının çok çeşitli olması verilerin yönetimini zorlaştırmaktadır. Çeşitli veri kaynaklarına entegrasyonu mecbur kılan bu durum ise bilgisayar destekli denetim sistemi kurulmasında büyük zorluk teşkil etmektedir. Ontoloji, verilerin anlamsal içerikleri üzerinden ilişkilerini tespit ederek yönetimini kolaylaştırmak ve veri çöplüğü oluşmasını engellemek konusunda çözüm sunar. Verilerin ontolojik yapıda tutulması, veriler aralarındaki ilişkilerin ve anlamlarının kolay anlaşılmasını, kopya verilerin azalmasını sağlamaktadır. 01.06.2010 tarihinde TÜBİTAK KAMAG 1007 programı çatısı altında desteklenen T.C. SA- YISTAY Başkanlığı Bilgisayar Destekli Denetim Sistemi projesi Türk SAYIŞTAYI nın ihtiyaç duyduğu bilgisayar destekli denetim sistemini ontoloji temelli olarak oluşturmak hedefindedir. Anahtar Sözcükler: Bilgisayar destekli denetim, ontoloji, SAYIŞTAY, açık kaynak kodlu yazılım Abstract: Computer aided audit is applying procedures of audit on electronic data of governmental or private organizations that cannot be done by human manually. Nowadays, data of these organizations is growing enormously so auditing this data has become more difficult. As a result of this situation, computer aided audit has become essential requirement for these organizations, especially SAYIŞTAY that audits all governmental organizations of Turkey. Considering SAYIŞTAY, beside the huge size of data, variety of data sources makes data unmanageable. Consequently, establishing a computer aided audit system to SAYIŞTAY is great issue. Ontological Engineering offers solution for handling great size data and preventing garbage data. Basically ontology has purpose that create common knowledgebase both human and computer. Storing data in ontological structure provides understanding data s meaning and relations between data sources easily and reduce duplicate data. T.C. SAYISTAY Başkanlığı Computer Aided Audit System project has been supported by TÜBİTAK KAMAG 1007 framework program since 01.06.2010, purpose of this project is building computer aided auditing system, which is required by SAYIŞTAY based on ontology. Keywords: Computer aided audit, ontology, SAYIŞTAY, open source software 1. Giriş 69 Bilgisayar destekli denetim, elektronik verinin yaygınlaşması ve hızla büyüyen veri hacmi sonucu büyük bir ihtiyac haline gelmiştir. Tüm dünyada olduğu gibi Türkiye de de kamu kurum ve kuruluşlarının iş süreçlerinde bilgisayar kullanımının yaygınlaşması, denetime tabi ve-

Bilgisayar Destekli Denetim Ontolojisi Melik Yücel, Erdem Alparslan, Kürşat Taşkın rilerin elektronik ortamda saklanması ve yakın gelecekte basılı belgelerin tamamen kaldırılmasına yönelik mevzuat değişikliği çalışmaları, denetimin her aşamasında bilgisayarın daha etkin ve yoğun kullanılmasını ve bu konuda bir metodoloji geliştirilerek Bilgisayar Destekli Denetim Sistemi kurulmasını zorunlu kılmıştır. Bilgisayar destekli denetimde ortaya çıkan en önemli sorun denetlenen verileri, devasa büyüklüklerde veri çöplüklerine dönüştürmeden yönetebilmektir. Anlamsal ağ (semantic web) ile birlikte ortaya çıkan ontoloji bu sorun ile başa çıkmak için kullanılan yöntemlerden biridir. Felsefenin bir konusu olan ontolojiden (varlık bilimi) yola çıkılarak geliştirilen bu yapı insan bilgisi ile bilgisiyarın tanıdığı bilgiyi birleştirerek ortak bir alan oluşturmayı amaçlamaktadır. Bilgisayar Destekli Denetim, T.C. SAYIŞTAY Başkanlığı nda önemli bir çözüm alanı oluşturmakla beraber tek başına otomatize ve organize bir denetim çatısı için yeterli değildir. Denetim kapsamında incelenen verilerin çeşitliliği, kurumlar arası farklılıklar, veri erişim peryodları arasındaki uyumsuzluklar ve veri kaynaklarındaki eksiklikler veri yönetimini zorlaştırmaktadır. Denetim esnasında incelenen veriler arasında her kurumda bulunan veriler olduğu gibi (yemiye kaydı, personel bordorsu vb.) kuruma özel veriler de bulunmaktadır (ek ders çizelgesi, konsolosluklar kasa defteri vb.). Ayrıca kurumların bütçe türüne ve işlevine göre muhasebelerinde kullandıkları hesap planları farklılık göstermektedir. Bütün bu farklılıklara veri hacmi de eklendiğinde veri yönetimi çok büyük bir problem haline gelmektedir. Problemin çözülebilmesi için verilerin, veri kaynaklarının ve veri ilişkilerinin anlamsal içeriğine riayet ederek düzenli ve hiyerarşik bir şekilde tutulması gerekir. Tüm kavramların sınıfladırılması, aralarındaki ilişkilerin belirlenmesi gibi anlamsal ihtiyaçlar yazılımın ontoloji tabanlı geliştirilmesi gerekliliğini net bir şekilde ortaya koymaktadır. Elektronik imzanın kullanıma geçmesi ve belgelerin hızlı bir şekilde bilgisayar ortamına aktarılması ile birlikte veri ve işlem hacmi hızla büyümüş ve denetimler karmaşık hale gelmiştir. Buna bağlı olarak bilgisayar destekli denetim Türkiye de de büyük bir ihtiyaç haline gelmiştir. Türkiye de bu sisteme en çok ihitiyacı olan kurum SAYIŞTAY dır. Bilindiği gibi SAYIŞTAY tüm kamu kurumlarında mali ve uygunluk denetimi yapmaktadır. Bugüne kadar denetimlerin büyük çoğunluğu belge üzerinden gerçekleşmekteydi. Belge sayısının ve muhasebe kayıtlarının büyüklüğünden dolayı tüm kayıtların incelenmesi ve denetlenmesi büyük bir iş yükü haline gelmekteydi. Bu kadar büyük verilerin denetiminin manuel yöntemlerle gerçekleştirilebilmesi mümkün olmadığı gibi denetlenebilen örneklemin sıhhatini de negatif etkilemekteydi. 70 2. Bilgisayar Destekli Denetim Hızlı gelişen teknoloji ile beraber son zamanlarda patlak veren ekonomik krizler ve dünya çapında usulsüzlükler denetimin gerekliliğini tekrar ortaya koymuştur. Bu konuda şeffaflaşmak ve denetimi kolaylaştırmak için tüm dünyada yeni bir yapılanmaya gidilmiştir [1]. Oluşan yeni standartlar ile birlikte denetim süreci uzamış ve iş yükü artmıştır. Daha karmaşık ve çok sayıda denetim prosedürünün oluşması ile denetimlerin geleneksel yöntemlerle yürütülmesi imkansız hale gelmiştir. Bu yapılanma sonucu artan iş yükü ve yüksek veri hacmi, bilgisayar destekli denetim araçlarının ve tekniklerinin gelişmesini hızlandırmıştır. Yolsuzlukların ve usülsüzlülkerin saptanması konusunda yeni prosedürler üretilmiştir. Bilgisayar destekli denetim açaları kullanılarak verilerin doğruluğunun kontrolü, veri kullanımının kontrolü, suistimal kontolü, yazılım kontrolü ve risk analizi gibi denetim uygulamalarında hızlı ve güvenilir sonuçlar elde etmek mümkündür. Bu araçlar kullanıcıya geleneksel yöntemlere göre büyük avantajlar sağlamaktadır. Bunlardan bazıları,

Akademik Bilişim 11 - XIII. Akademik Bilişim Konferansı Bildirileri 2-4 Şubat 2011 İnönü Üniversitesi, Malatya Geleneksel yöntemlerle yapılamayacak denetimlerin uygulanması Kullananın iş yükünü azaltması, zamandan tasarruf sağlaması Sürekli ve anlık denetim Daha verimli denetim planının yapılabilmesi olarak sıralanabilir. Denetim alanında muhasebe denetimi çok geniş yer tutmakadır. Büyük çoğunluğu yevmiyekaydından oluşan muhasebe verileri günümüzde çok büyük boyutlara ulaşmıştır. Bu da bir insanın doğrudan tüm kayıtların yönetmeliğe uygun olup olmadığını, yapılan işlerde usülsüzlük olup olmadığını kontrol etmesini olanaksız hale getirmektedir. Bu noktada bilgisayar destekli denetim ve analiz metotları devreye girmektedir. 2.1 Sayıştay Bilgisayar Destekli Denetim Projesi 2000 li yıllarla beraber SAYIŞTAY bilgisayar destekli denetim konusunda çeşitli yatırımlar yapmış ve bilgisayar destekli denetimi kurum genelinde yaygınlaştırmak konusunda yoğun bir gayret içerisinde olmuştur. Bu konuda yapılan çalışmalar sonucunda SAYIŞTAY denetçilerinin deneyimlerini içeren ve teknik bilgi gerektirmeyen SAYIŞTAY a özel bir uyguluma ihtiyacı olduğu net bir şeklide ortaya çıkmıştır. SAYIŞTAY Başkanlığı nın bu ihtiyaçlarına binaen TÜBİTAK Kamu Araştırmaları Destek Grubu (KAMAG) 1007 fonu tarafından fonlanacak bir AR-GE projesi tasarlanmış ve yürürlüğe girmiştir. TÜBİTAK Ulusal Elektronik ve Kriptoloji Araştırma Enstitüsü, KOMTAŞ Bilgi Yönetimi A.Ş. ve Marmara Üniversitesi nin yürütücü olduğu bu projenin süresi 30 ay olarak planlanmıştır. Bu sürenin ilk 4 ayı mevcut durum analizi, yani SAYIŞTAY ın çalışma sistemi, denetim alanlarını ve denetim prosedürlerinin belirlenmesi için, sonraki 8 aylık kısım denetim ontolojisinin oluşturulması için, son kısım ise yazlım geliştirme, entegrasyon ve pilot testleri için ayrılmıştır. Şekil 1 de proje kapsamında kurulması hedeflenen denetim sistemimin veri akışı diyagramı verilmiştir. Şekil 1. Veri analizi akış süreci 71

Bilgisayar Destekli Denetim Ontolojisi Melik Yücel, Erdem Alparslan, Kürşat Taşkın 2.1.1. Projenin Hedefleri Projenin iki temel hedefi bulunmaktadır. Bunlardan ilki günümüz itibari ile geleneksel yöntemlerle gerçekleştirilemeyecek denetim prosedürlerini uygulanabilir hale getirmektir. Diğer hedef ise SAYIŞTAY denetimlerinde bir standardı yakalamaktır. Standarttan kastedilen, her denetçinin denetimde uyguladığı kendine özel metotları olması ve her denetçinin mutlaka uygulaması gereken bir prosedür listesi bulunmamasıdır. Standart oluşturulmasındaki amaç denetçinin hareket alanını kısıtlamak değil mutlaka uygulanması gereken prosedürlerin her denetçi tarafından uygulanmasını garantiye almaktır. 2.1.2. Projenin Çıktıları Proje sonunda ortaya çıkacak iki ana çıktı mevcuttur. Bunlardan birincisi Bilgisayar Destekli Denetim Ontolojisi dir. Oluşturulacak ontolojide kurumların hiyerarşik sınıflandırması, kurumlar arası ilişkiler (idari ve mali ilişkiler), hesap sınıflandırması, bütçe sınıflandırması, bütçe-kurum ilişkileri gibi bir çok kavram ve bunlar arasındaki ilişkiler bulunacaktır. Tüm kamunun organizasyon yapısı oluşturulacaktır. Projenin bir diğer çıktısı ise Bilgisayar Destekli Denetim Sistemi Yazılımı dır. Ürürünün tasarımında SAYIŞTAY denetçilerinin tecrübelerini içeren, teknik bilgiye ihtiyaç duymayan, bilgisayar destekli denetim tekniklerini ve analiz metotlarını içeren bir yazılım elde edilmesi hedeflenmiştir. tanımlanmaktadır [3]. Kısaca ontoloji verilerin ifade ettiği varlık ve kavramların sistematik bir şekilde sınıflandırılarak birbirleri ile ilişkilendirilmesi olarak ifade edilebilir. Günümüzde ontoloji, bilgi mühendisliği, yapay zeka ve bilgisayar bilimleri gibi alanlarda kullanılmaktadır. Bilgisayar bilimlerindeki yaygın kullanımına rağmen yazılım tasarımlarında kullanımı henüz yaygınlaşmamıştır. Yazılım düzeyinde ontoloji geliştirmek için çeşitli diller ve araçlar geliştirilmiştir. OWL (web ontology language) ontoloji geliştirme dillerinden en yaygın olanıdır [4]. Geliştirilen ontolojiler genel olarak XML formatında tutulmaktadır. W3C konsorsiyumu tarafından geliştirilen RDF (resource description framework) ile ontolojiler için standart oluşturulmuştur. Ayrıca bu formatta saklanan verilerin sorgulanması için SPARQL olarak adlandırılan sorgu dili geliştirilmiştir [2]. Şekil 2, Protege de oluşturulmuş basit bir ontolojik sınıflandırma örneğini göstermektedir. Sarı daire bulunan kutular sınıf, mor baklava dilimi bulunan kutular ise o sınıfa ait birer bireydir (individual). Kutular arasındaki oklar bireyler arasındaki ilişkiyi göstermektedir. Sınıflar arasandaki oklar alt sınıf (has a subclass) ilişkisini belirmektedir, kesik çizgili olan ok ise avlar olarak tanımlanan aslan ile impala arasındaki ilişkiyi göstermektedir. Şekilde de görüldüğü gibi ontolojide ilişkiler özneyüklem-nesne yapısı ile kurulur. 2.1.3. Projenin Ar-Ge Nitelikleri Felsefe biliminin bir kavramı olan ontoloji, bilgisayar bilimlerinde ilk defa anlamsal ağ (semantic web) ile ortaya çıkmıştır [2]. Web üzerinde bulunan bir çok bilgi, özellikle metin halinde bulunan bilgilerin bilgisayar tarafından anlaşılması zordur. Semantik Web, web üzerindeki verilerin bilgisayar için anlamlı hale gelmesi ve birbirleri arasındaki ilişkinin kurulmasını amaçlar. Ontoloji, paylaşılan kavramlaştırmanın biçimsel (makine tarafından okunabilir) ve net bir şekilde belirlenmesi olarak 72 Daha önce belirtildiği gibi SAYIŞTAY denetiminde çok büyük boyutlarda veri, çeşitli kurumlar ve çeşitli veri kaynakları bulunmaktadır. Bu kadar büyük bir sistemin sadece ilişkisel veri tabanı ile kurulması veri kaybına (fiziksel olarak kayıp yaşanmasa da verinin nerede bulunduğu bilgisi kaybedilebilir), veri çöplüğü oluşmasına ve denetim alanı kısıtlamasına neden olabilir [5]. Kurumların, kişilerin ve denetim alanının içinde kalan diğer kavramların ontolojisinin oluşturulması bu karmaşanın çözümlenmesinde büyük rol oynayacaktır.

Akademik Bilişim 11 - XIII. Akademik Bilişim Konferansı Bildirileri 2-4 Şubat 2011 İnönü Üniversitesi, Malatya Ayrıca kavramlar arasında kurulacak ilişkiler çapraz denetimleri çok kolay hale getirecektir. Örneğin bir kurumdan başka kuruma kaynak aktarıldığında iki kurumun kayıtları da tutarlı olabilir, ancak doğruluğunu garantilemek için bir kurumun kasasına giren ile diğer kurumun kasasından çıkan tutar karşılaştırılması gerekebilir. Bu karşılaştırma kurulacak ontolojik ilişki ile kolayca yapılabilir. Projenin diğer Ar-Ge niteliği ise projenin tamamen açık kaynaklı ürünler üzerine tasarlanmasıdır. Yazılım Java dilinde geliştirilecektir. Yazılım geliştirilirken kullanılacak tüm araçlar da (kütüphaneler ve veri tabanı yönetim sistemleri gibi) açık kaynak kodlu olacaktır. Kullanılacak açık kaynak kodlu araçlara örnek vermek gerekirse; Şekil 2. Örnek ontoloji 73 - JAVA EE - PostgreSQL (VTS), - Protege(Ontoloji Geliştirme aracı) - Jasper, Kettle (ETL araçları) - Jena, Spring, Hibernate, OpenGL, JOGL AP (Kütüphaneler) - Açık kaynak kodlu UML ve CASE araçları - Bitnami Redmine, Knowledge-Tree (proje yönetim) - Subversion, maven (yazılım versiyonlama) - Eclipse (yazılım geliştirme anaçatısı) 2.1.4. Denetlemeye Konu Olan Kurumlar ve Veri Hacmi 5018 sayılı kanuna göre SAYIŞTAY merkezi yönetim kurumlarını, mahalli idareleri ve sosyal güvenlik kurumlarını denetler [5]. Mecliste yeni kabul edilen yasa teklifi ile birlikte bu listeye Kamu İktisadi Teşebbüsleri (KİT) de dahil olmuştur. Bu durumdan da anlaşılacağı gibi SAYIŞTAY ın çok geniş bir denetim alanı bulunmaktadır. Biraz daha açmak gerekirse denetlenen kurumlar içerisinde devlet üniversiteleri, devlet hastaneleri, bakanlıklar, belediyeler, SGK (Sosyal Güvenlik Kurumu), bu kapsamdaki diğer kurumlar ve bu kurumların muhasebe işlerine bakan 8000 nin üzerinde muhasebe birimi bulunmaktadır. Tüm bu kurumların verileri çok büyük boyutlara ulaşmaktadır. Sadece SGK da aylık milyonlarca işlem verisi ve yıllık terabyte mertebesinde veri oluşmaktadır. Verileri, SGK da olduğu gibi devasa boyutlara ulaşan bu kurumların denetimini de manuel olarak gerçekleştirmek imkansızdır.

Bilgisayar Destekli Denetim Ontolojisi Melik Yücel, Erdem Alparslan, Kürşat Taşkın 3. Sonuç Elektronik verinin hızla yagınlaşarak büyüdüğü bu zamanda bilgisayar destekli denetimin gerekliliği ortadadır. Tüm Türkiye nin denetimini yapan bir kurum olan SAYIŞTAY için de bilgisayar destekli denetim sistemi kurulması zorunludur. Bu sistem sayesinde denetçilerin hareket alanın ve denetim kapsamının genişleyeceği gösterilmiştir. Bu sistem hiç bir zaman denetimin tamamını kapsayamaz. Sadece verilerin denetimi yeterli değildir. Yerinde denetim, belge kontrolü gibi denetimleri bilgisayar desteği ile yapma mümkün değildir. Örnek vermek gerekirse bir müteahhite ödenen hakedişin kontrolü için yapılan işin yerinde kontrol edilmesi gerekir. Tüm bunlara rağmen sadece göz gezdirmenin bile aylar alcağı veriler üzerinde çok kısa sürelerde tutarlık, uygunluk denetimi ve çapraz denetim uygulayan bir sistem geliştirmek mümkündür. Sonuc olarak SAYIŞTAY denetimlerinin optimize edilebilmesi için geniş kapsamlı denetim ontolojisi oluşturulmalı ve bu ontoloji üzerine SAYIŞTAY deneyimleri ile oluşturulmuş denetim prosedürleri ve analiz metotları içeren bir Bilgisayar destekli denetim sistemi kurulması gerekir. T.C. SAYIŞTAY Başkanlığı Bilgisayar Destekli Denetim Sistemi Projesi bu ihtiyacın giderilmesine yönelik işletilen bir projedir. 4. Kaynaklar [1] www.futurecom.com.tr/bilgisayar_destekli _denetim.htm [2] McIraith SA, Son TC, Honglei Z Semantic Web Services. Intelligent Systems (2001) [3] Borst WN Construction of Engineering Ontologies. Centre for Telematica and Information Technology, Enschede (1997) [4] Uschold M, Gruninger M Ontologies: principles, methods and applications., The Knowledge Engineering Review (1996) [5] 5018 Sayılı Kamu Mali Yönetimi ve Kontrol Kanunu ve İkincil Mevzuatı (2006) 74