Geri Dön

A New algebraic language erpal and translation of a subset of SDL-92 into ERPAL

Yeni bir cebirsel dil erpal ve SDL-92'nin bir altkümesinin ERPAL'e çevrilmesi

  1. Tez No: 38625
  2. Yazar: HÜSNÜ YENİGÜN
  3. Danışmanlar: DOÇ.DR. SEMİH BİLGEN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Ayrık Olay Sistemleri, Formal Tanımlama Teknikleri, Cebirsel Diller, SDL, Discrete Event Systems, Formal Description Techniques, Algebraic Languages, SDL
  7. Yıl: 1995
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Belirtilmemiş.
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 158

Özet

oz YENİ BİR CEBİRSEL DİL ERPAL VE SDL-92'NİN BİR ALTKÜMESİNİN ERPAL'E ÇEVİRİLMESİ Hüsnü YENİGÜN Yüksek Lisans Tezi, Elektrik ve Elektronik Mühendisliği Anabilim Dalı Tez Yöneticisi: Assoc. Prof. Semih BİLGEN Ocak, 1995, 158 sayfa. Bu tezde, Sonlu Kendi kendini çağıran Süreç cebirinin ([1,2,3]) işlemcilerine dayalı olan, yeni bir cebirsel süreç belirtim dili ERPAL (Geliştirilmiş Kendi kendini çağıran Cebirsel Süreç Dili) yazım kuralları ve işlemcilerinin işlevsel anlamları verilerekten tanımlanmıştır. Ayrıca SDL yapılarından ERPAL yapılarına çeviri için gerekli olan kurallar da verilmiş ve açıklanmıştır. ERPAL eşzamanlama özellikleri açısından bakıldığında diğer yaygın olarak bilinen CSP ([4]) ve LOTOS ([5, 6]) gibi dillere nazaran ifade gücünün daha yüksek olduğu görülmektedir. ER PAL şu anda SDL92-to-C++ çeviricisinin tasarım aşamasında fikirsel düzeyde bir ara veri (süreç) yapısı olarak kullanılmaktadır.

Özet (Çeviri)

ABSTRACT A NEW ALGEBRAIC LANGUAGE ERPAL AND TRANSLATION OF A SUBSET OF SDL-92 INTO ERPAL Hüsnü YENİGÜN M. S. in Electrical and Electronics Engineering Supervisor: Assoc. Prof. Semih BİLGEN January, 1995, 158 pages. A new algebraic specification language named ERPAL (Extended Recur sive Process Algebraic Language) based on the algebraic operators of Finitely Recursive Process Algebra concept ([1, 2, 3]) has been defined in terms of its syn tax and operational semantics. The necessary translation primitives that convert SDL constructs into ERPAL constructs are explicitly defined and explained. The newly defined language ERPAL is more expressive in its synchronization features compared to other well-known languages such as CSP ([4]) or L0T0S([5, 6]). ERPAL is currently used as an intermediate conceptual data (process) structure in the design of an SDL92-to-C+- \- compiler that implements an SDL animator.

Benzer Tezler

  1. Tez No

    35520

    A Comparison of process specifications using the languages SDL and erpal

    SDL ve erpal dillerini kullanarak yapılan süreç belirtmelerinin karşılaştırılması

    ALİ SEZGİN

    Yüksek Lisans

    İngilizce

    İngilizce

    1994

    Elektrik ve Elektronik MühendisliğiOrta Doğu Teknik Üniversitesi

    Elektrik-Elektronik Mühendisliği Ana Bilim Dalı

    PROF. DR. KEMAL İNAN

  2. Tez No

    245839

    State change operator: Algebraic and language class properties

    Durum değişikliği işleci: Cebirsel ve biçimsel dil kümesi özellikleri

    AHMET ÇEVİK

    Yüksek Lisans

    İngilizce

    İngilizce

    2009

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolAtılım Üniversitesi

    Bilgisayar Mühendisliği Bölümü

    DOÇ. DR. HALİT OĞUZTÜZÜN

    YRD. DOÇ. DR. HÜREVREN KILIÇ

  3. Tez No

    329410

    A parallelization approach to Haskell language through category theoretic implementations

    Kategori kuramı uygulamaları altında Haskell diline bir paralelizasyon yaklaşımı

    BURAK EKİCİ

    Yüksek Lisans

    İngilizce

    İngilizce

    2012

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolYaşar Üniversitesi

    Bilgisayar Mühendisliği Ana Bilim Dalı

    DOÇ. DR. AHMET HASAN KOLTUKSUZ

  4. Tez No

    684738

    Güvenlik duvarı kurallarındaki tutarsızlıklarınbelirlenmesi için yeni bir yöntem

    A new method for intra-firewall anomaly discovery

    BÜŞRA ÇAYÖREN

    Yüksek Lisans

    Türkçe

    Türkçe

    2021

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

    Bilişim Uygulamaları Ana Bilim Dalı

    DOÇ. DR. ENVER ÖZDEMİR

  5. Tez No

    244462

    GAP (grup, algoritma ve programlama) ile cebirler üzerinde çaprazlanmış modüller

    Crossed modules of algebras with GAP (group, algorithm and programming

    ALPER ODABAŞ

    Doktora

    Türkçe

    Türkçe

    2009

    Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolEskişehir Osmangazi Üniversitesi

    Matematik Ana Bilim Dalı

    PROF. DR. ZEKERİYA ARVASİ

Geri Dön