Translation of workflow specifications to the action description language C
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: 2001
Tezin Dili: İngilizce
Öğrenci: EMEL HASDAL
Danışman: FERDA NUR ALPASLAN
Özet:oz İŞ AKIŞI TANIMLARININ C EYLEM TANIMLAMA DİLİNE ÇEVİRİLMESİ Hasdal, Emel Yüksek Lisans, Bilgisayar Mühendisliği Bölümü Tez Yöneticisi: Assoc. Prof. Dr. Ferda Nur Alpaslan Temmuz 2001, 72 Sayfa İş akışı yönetimi sistemleri kurumların otomasyon işlemleri için ümit vaad eden bir çözümdür, iş akışını modellemek ve çalıştırmak için pek çok ticari ürün mevcuttur. Ancak, iş akışı yönetim sistemlerinin kuramsal temelleri eksiktir. Diğer bir yandan, eylem dilleri, eylem sistemlerini tanımlama problemine en son yaklaşımlardan biridir. C dili, nedenselliğin açıklanması kuramını temel alan, bir yüksek düzey eylem tanımlama dilidir. İş akışı süreçlerinin biçimselleştirilmesi için yapılan pek çok öneriden biri eylem tanımlama dili Cnin kullanılmasıdır. Bu tezde, iş akışı süreçlerinin eylem tanımlama dili C kullanılarak biçimselleştirilmesinde kullanılması amacı ile bir yüksek düzey iş akışı tanımlama dili olan WODEL tasarlanmıştır ve WODEL dilinden C dilinebir çevirim tanımlanmıştır. Ayrıca, çevirim işinin otomatik olarak yapılabilmesini sağlamak için bir çevirim aracı geliştirilmiştir. Bu biçimselleştirme, iş akışı süreç tanımları üzerinden akıl yürütme işlemlerinin yapılabilmesine olanak sağlayan bir zemin oluşturmaktadır. Ayrıca, önerilen biçimselleştirme geliştirilerek iş akışı süreçlerinin doğrulanması ve en iyilenmesi amaçları için kullanılabilir. Anahtar Kelimeler: iş akışı süreçleri, eylem dilleri, planlama. VI