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, workflow process definition, action languages, planning. IV
  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ı: 81

Ö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. İşlev odaklı yaklaşımlar çerçevesinde Avrupa Birliği mevzuatı çeviri projesi

    A project on the translation of European Union legislation within the framework of functional translation aproaches

    ASLI SELCEN ASLAN

    Doktora

    Türkçe

    Türkçe

    2015

    Mütercim-Tercümanlıkİstanbul Üniversitesi

    Çeviribilim Ana Bilim Dalı

    PROF. DR. SAKİNE ERUZ

  2. 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Çİ

  3. Specification and scheduling of workflows under resource allocation constraints

    Kaynak ayrım kısıtlamaları altında iş akışlarının tanımlanması ve planlanması

    PINAR KARAGÖZ ŞENKUL

    Doktora

    İngilizce

    İngilizce

    2003

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

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. İSMAİL HAKKI TOROSLU

  4. Otomotiv sanayi için ürün geliştirme ve düşük maliyetli yeni ürün tasarımı

    In automotive industry new product development and design for low cost

    MESUT AKDAĞ

    Yüksek Lisans

    Türkçe

    Türkçe

    2010

    Makine Mühendisliğiİstanbul Teknik Üniversitesi

    Makine Ana Bilim Dalı

    YRD. DOÇ. DR. R.MURAT TABANLI

  5. A model based flight control system design approach for micro aerial vehicles using integrated flight testing and hil simulations

    Küçük boyutlu insansız hava araçları üzerinde sistem tanılama, uçuş kontrol sistem tasarımı ve donanım ile benzetim uygulamaları

    BURAK YÜKSEK

    Doktora

    İngilizce

    İngilizce

    2019

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

    Mekatronik Mühendisliği Ana Bilim Dalı

    PROF. DR. GÖKHAN İNALHAN