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ı
- Tez No: 143635
- Danışmanlar: DOÇ. DR. İSMAİL HAKKI TOROSLU
- Tez Türü: Doktora
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: işakışı planlama, mantık, kısıt programlama, kaynak, kaynak ayrım kısıtları, workflow, scheduling, logic, constraint programming, resource, resource allocation constraints
- Yıl: 2003
- Dil: İngilizce
- Üniversite: Orta Doğu Teknik Üniversitesi
- Enstitü: Fen Bilimleri Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: 154
Özet
İşakışı, karmaşık ticari işlemleri oluşturmak üzere biraraya gelmiş görevler toplulu ğudur. İşakışları, aynı zamanda, görevlerin çalıştırılma sıraları, hangi şartlar altında çalışması gerektiği, görev senkronizasyonu ve görevler arası bilgi akışına dair tanımla maları da içerir. İşakışı çalışmadan önce, doğru bir çalışma şeması, diğer bir deyişle, işakışı planı belirlenmelidir. İşakışı planlama, görevlerin çalışma sıralarının, işakışı mantığına uygun olarak bulunmasıdır. İşakışı modelleme ve planlama üzerine yapılan araştırmalar, zaman ve nedensellik kısıtları üstünde yoğunlaşmıştır. Ancak, kaynak ayrımını tanımlayan diğer bir kısıt tipi de işakışları için eşit derecede önemlidir. Bir işakışı ortamında, görevlerin yapılması için gerekli olan personel, makina, yazılım ve benzeri ihtiyaçlara kaynak adı verilir. Bir görevin yerine getirilmesinin bir maliyeti vardır ve bu maliyet genellikle, görevin yerine getirilmesi için ayrılan kaynağa bağlı olarak değişir. Kaynak ayrım kısıtları, kaynakların dağılımına dair sınırlamalar tanımlar ve bu kısıtlar altında yapılan işakışı planlaması, görevler için doğru kaynak ayrımını sağlar. Bu çalışmada, zaman ve nedensellik kısıtlarının yanı sıra, kaynak ayrım kısıtları altında işakışı modelleme ve planlamayı sağlamak amacıyla iki yaklaşım sunulmak tadır. Birinci yaklaşımda, temel ve yenilik taşıyan parçaları, kaynakları ve kaynak ayrım kısıtlarını ifade edebilen bir işakışı tanımlama dili ve tanımlanan kısıtlar altında doğru kaynak ayrımını bulmak için, kısıt çözücü içeren bir planlayıcı olan bir işakışı yönetim sistemi mimarisi anlatılmıştır, ikinci kısımda ise, Concurrent Constraint Transac tion Logic (CCTR, Eşzamanlı Kısıt İşlem Mantığı) adini verdiğiniz, Constraint Logic Programming (CLP, Kısıt Mantık Programlama) ve Concurrent Transaction Logic'i (CTR, Eşzamanlı İşlem Mantığı) birleştiren bir formalizasyon ve bu formalizasyonu temel alarak geliştirilen bir işakışı planlayıcısı anlatılmaktadır. CCTR ile kaynak ayrım kısıtlarını tanımlamak, anlamlarını modellemek, böylece bu kısıtlar altındaki bir işakışı planını doğrulamak mümkün olmaktadir.
Özet (Çeviri)
Workflow is a collection of tasks organized to accomplish some business process. It also defines the order of task invocation or conditions under which task must be invoked, task synchronization, and information flow. Before the execution of the workflow, a correct execution schema, in other words, the schedule of the workflow, must be deter mined. Workflow scheduling is finding an execution sequence of tasks that obeys the business logic of workflow. Research on specification and scheduling of workflows has concentrated on temporal and causality constraints, which specify existence and order dependencies among tasks. However, another set of constraints that specify resource al location is also equally important. The resources in a workflow environment are agents such as person, machine, software, etc. that execute the task. Execution of a task has a cost and this may vary depending on the resources allocated in order to execute that task. Resource allocation constraints define restrictions on how to allocate resources, and scheduling under resource allocation constraints provide proper resource allocation to tasks. In this thesis, we present two approaches to specify and schedule workflows under resource allocation constraints as well as temporal and causality constraints. In the first approach, we present an architecture whose core and novel parts are a specifi cation language with the ability to express resources and resource allocation constraints and a scheduler module that contains a constraint solver in order to find correct re source assignments. In the second approach, we developed a new logical formalism, called Concurrent Constraint Transaction Logic (CCTR) which integrates constraint logic programming (CLP) and Concurrent Transaction Logic, and a logic-based work flow scheduler that is based on this new formalism. CCTR has the constructs to specify resource allocation constraints as well as workflows and it provides semantics for these specifications so that validity of a schedule can be checked.
Benzer Tezler
- Tam zamanında imalat sisteminin simülasyon ile analizi ve uygulanabilirliğinin etüdü
An Analysis of the just in time manufacturing system by simulation and a study for its applicability
SEMRA DURMUŞOĞLU
Doktora
Türkçe
1989
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. AYHAN TORAMAN
- Türkiye'de yapsat modeli ile gerçekleştirilen inşaat projelerinde süre ve maliyeti artıran faktörler
Factors increasing time and cost in construction project carried out with build and sell model in Turkiye
KRAL KARAKOÇ
Yüksek Lisans
Türkçe
2024
Mimarlıkİstanbul Teknik ÜniversitesiMimarlık Ana Bilim Dalı
DOÇ. DR. FATMA PINAR ÇAKMAK
- Esnek üretim sistemleri
Flexible manufacturing systems
ARMAĞAN EROL ÖZÇELİK
Yüksek Lisans
Türkçe
1993
Endüstri ve Endüstri Mühendisliğiİstanbul Teknik ÜniversitesiPROF.DR. GÖNÜL YENERSOY
- A service oriented collaborative supply chain planning process definition and execution platform
Servis tabanlı ortak tedarik zinciri planlama süreci tanımlama ve yürütme platformu
MEHMET OLDUZ
Yüksek Lisans
İngilizce
2008
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Bölümü
PROF. DR. ASUMAN DOĞAÇ
- Guard generation for a distributed workflow enactment service
Dağıtık bir iş akışı harekete geçirme servisi için nöbetçi oluşturulması
NESİME TATBUL
Yüksek Lisans
İngilizce
1998
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolOrta Doğu Teknik ÜniversitesiBilgisayar Mühendisliği Ana Bilim Dalı
PROF. DR. ASUMAN DOĞAÇ