Formalizing workflows using the event calculus

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Bilgisayar Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 2000

Tezin Dili: İngilizce

Öğrenci: YAKUP YILDIRIM

Danışman: FEHİME NİHAN ÇİÇEKLİ

Özet:

oz İŞ AKIŞLARININ OLAY HESABI KULLANARAK BİÇİMSELLEŞTİRİLMESİ Yıldırım, Yakup Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Doç. Dr. Nihan Kesim Çiçekli Ağustos 2000, 70 sayfa İş akışlarım modellemek ve yürütmek için birçok çalışma yapıldı. Fakat bu çalışmaların neticesinde iş akışlarının analiz ve uslamlaması için biçimsel bir belirtim modeline gereksinim duyulduğu anlaşıldı. Olay Hesabı özellikle veri tabanı uygulamalarında olayları ve bunların etkilerini göstermek için kullanılan mantıksal bir programlama biçimselidir. Bu tez Olay Hesabının iş akışlarının belirtim ve benzetiminde kullanılmasını anlatır. Burada önerilen işin çerçevesi önkoşullar, olaylar ve başlangıç koşullarının etkileri üzerine kurulmuş olan kullanıcı kaynaklı belitlerin modellediği dinamik dünya gösterimini savunmaktadır. Zamanla ilgili ekstra yönü eylemlerin tarihçesini sorgulama imkanı vermekte ve bu sayede iş akışlarının verimliliği analiz edilebilmektedir. Buradan elde edilen sonuç iş akışlarının daha yüksek seviyeli soyutlanmalarda belirtimlenmesidir. Bu çalışma çerçevesinde Olay Hesabının belitleri bildirimsel bir yol kullanılarak temel etkenlik rota çeşitlerinin senkronize veya senkronize olmayan şekilde modellenmesinde kullanılabilmektedir. Bunun yanında aracı ataması ve paralel iş akışı çalışmaları da modellenebilmektedir. Hesaplama problemine mantıksal programlama yaklaşımı adapte edilmiştir.Anahtar Kelimeler: Olay Hesabı, İş Akışı, İş Akışı İşletim Sistemleri, İş Akışı Belirtimi, Mantıksal Programlama, Zamanla İlgili Uslamlanma VI