Geri Dön

Translation of workflow specifications to the action description language C

İş akışı tanımlarının C eylem tanımlama diline çevirilmesi

  1. Tez No: 116435
  2. Yazar: EMEL HASDAL
  3. Danışmanlar: DOÇ. DR. FERDA NUR ALPASLAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
  6. Anahtar Kelimeler: iş akışı süreçleri, eylem dilleri, planlama. VI, Planlama, İş akışı, workflow process definition, action languages, planning. IV, Planning, Workflow
  7. Yıl: 2001
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: Belirtilmemiş.

Ö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.

Özet (Çeviri)

ABSTRACT TRANSLATION OF WORKFLOW SPECIFICATIONS TO THE ACTION DESCRIPTION LANGUAGE C Hasdal, Emel M.S., Department of Computer Engineering Supervisor: Assoc. Prof. Dr. Ferda Nur Alpaslan July 2001, 72 Pages Workflow management systems are promising solutions for enterprise computing. There are many commercial products to model and execute workflows. However, a solid theoretical foundation is missing. On the other hand, action languages are one of the recent approaches to the problem of representing action domains. The C language is a high-level action description language, based on the theory of causal explanation. One of the several proposals to formalize workflow processes is to use action language C. In this thesis, a high-level workflow process definition language called WODEL is introduced for formalization and a translation schema from WODEL to action language C is defined. A translation tool is developed for automating this translation process. This formalization provides a background for enabling the commonsense reasoning about workflow process definitions. Also the iiiformalization can be extended to be used for verification and optimization of workflow processes.

Benzer Tezler

  1. Tez No

    76062

    An İmproved model and rchitecture of workflow process management

    Geliştirilmiş bir iş akışı modeli ve mimarisi

    EMİN CEVDET DENGİ

    Doktora

    İngilizce

    İngilizce

    1998

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    PROF. DR. SİNAN NEFTÇİ

  2. Tez No

    39198

    Çok işlemcili sistemler için bir yük akış dili

    A Work flow lanquage for multiprocessor systems

    A.OLCAY AKGÜN

    Yüksek Lisans

    Türkçe

    Türkçe

    1993

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİstanbul Teknik Üniversitesi

    PROF.DR. EMRE HARMANCI

  3. Tez No

    79350

    An Evaluation of methodological ıssues in wozkflow management

    İşakışı yönetimindeki metodolojik konuların bir değerlendirilmesi

    ANASTASİA SOTHİKOVA

    Yüksek Lisans

    İngilizce

    İngilizce

    1998

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrolİhsan Doğramacı Bilkent Üniversitesi

    Bilgisayar Bilimleri ve Mühendisliği Ana Bilim Dalı

    DOÇ. DR. ÖZGÜR ULUSOY

  4. Tez No

    107328

    Bankacılık sektöründe iş etüdü uygulaması

    Başlık çevirisi yok

    NAZLI YAYLICIOĞLU

    Yüksek Lisans

    Türkçe

    Türkçe

    2001

    İşletmeİstanbul Teknik Üniversitesi

    İşletme Ana Bilim Dalı

    PROF.DR. NİLGÜN FIĞLALI

  5. Tez No

    111152

    Finansal piyasalarda elektronik risk ve denetimi

    Electronic risc and auditing in the financial markets

    HASAN ÖZKAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2002

    BankacılıkMarmara Üniversitesi

    Sermaye Piyasası ve Borsa Ana Bilim Dalı

    YRD. DOÇ. DR. AHMET ÇİLİNGİRTÜRK

Geri Dön