Geri Dön

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ı

  1. Tez No: 35520
  2. Yazar: ALİ SEZGİN
  3. Danışmanlar: PROF. DR. KEMAL İNAN
  4. Tez Türü: Yüksek Lisans
  5. Konular: Elektrik ve Elektronik Mühendisliği, Electrical and Electronics Engineering
  6. Anahtar Kelimeler: Biçimsel Tanımlama Teknikleri, Cebirsel Diller, SDL, ERPAL, Formal Description Techniques, Algebraic Languages, SDL, ERPAL
  7. Yıl: 1994
  8. Dil: İngilizce
  9. Üniversite: Orta Doğu Teknik Üniversitesi
  10. Enstitü: Fen Bilimleri Enstitüsü
  11. Ana Bilim Dalı: Elektrik-Elektronik Mühendisliği Ana Bilim Dalı
  12. Bilim Dalı: Belirtilmemiş.
  13. Sayfa Sayısı: 146

Özet

oz SDL VE ERPAL DİLLERİNİ KULLANARAK YAPILAN SÜREÇ BELİRTMELERİNİN KARŞILAŞTIRILMASI Ali SEZGİN Yüksek Lisans Tezi, Elektrik ve Elektronik Mühendisliği Anabilim Dalı Tez Yöneticisi: Prof. Dr. Kemal İNAN Eylül, 1994, 145 sayfa. Veri haberleşmesindeki artan karmaşıklık ile biçimsel betimleme tekniklerine olan ihtiyaç her zamankinden daha önemli bir duruma geldi. Bu yüzden, günümüzün en önemli araştırma konularından biri, etkili bir biçimsel betimleme tekniği bulmaktır. Bu tezde, yeni bir biçimsel betimleme tekniği dili olan ERPAL'in spesi- fikasyon gücü ve esnekliği, bazi spesifikasyonları ERPAL'de yazmak suretiyle gösterilmiştir. ERPAL'e özel olan, olay denetlemenin kullanımını göstermek için Milner'ın zamanlama problemi anlatıldı. Protokol spesifikasyonunun inceliklerini göstermek için, en basit protokollerden biri olan zebani oyunu örnek olarak verilmiştir. Daha karmaşık bir örnek olarak, OSI'nin basit bir sürümü olan Inres düşünülmüştür. Son olarak, LOTOS, CSP, Estelle, SDL gibi çok kullanılan dillerin önünde hala büyük bir engel olan hareketli ağların spesifikasyonu, ERPAL'in bu işte nasıl kullanıldığını göstermek için verilmiştir. Cebirsel bir dil olan ERPAL ile genişletilmiş sonlu durum makinasmı temsil eden SDL arasındaki farkları ve benzerlikleri göstermek için, bazı spesifikasyonlar aynı zamanda SDL ile de yapılmıştır.

Özet (Çeviri)

ABSTRACT A COMPARISON OF PROCESS SPECIFICATIONS USING THE LANGUAGES SDL AND ERPAL Ali SEZGİN M. S. in Electrical and Electronics Engineering Supervisor: Prof. Dr. Kemal İNAN September, 1994, 145 pages. With the ever increasing complexity of data communications, the need for a formal description technique for specifying protocols has become more important than ever. Thus, one of the hot research topics of today consists of finding an efficient formal description technique. In this thesis, the specification power and flexibility of a new FDT language ERPAL is illustrated by implementing some specifications in ERPAL. Milner's scheduler problem is given to demonstrate the use of event con trolling, specific to ERPAL. The daemon game, one of the simplest protocols, is an example, which gives some insight to protocol specification using ERPAL. A more complex example is considered to be Inres, which is a simple version of OSI protocol. Finally, the specification of a mobile system is given to demonstrate how ERPAL can be used to specify mobile networks which are still considered to be a great obstacle for the commonly used languages like LOTOS, SDL, CSP, Estelle. Some of the specifications are also given in SDL to demonstrate the differ ences and the similarities between ERPAL which is an algebraic language, and SDL which represents an extended finite state machine.

Benzer Tezler

  1. Tez No

    411647

    Ordu ili (Türkiye) tatlısu Gammaridea (Crustacea, Amphipoda) faunası üzerine bir araştırma

    Study on freshwater Gammari̇dea (Crustacea, Amphipoda) fauna of Ordu (Turkey)

    MEHMET EKİNCİ

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Balıkçılık TeknolojisiOrdu Üniversitesi

    Balıkçılık Teknolojisi Mühendisliği Ana Bilim Dalı

    YRD. DOÇ. DR. ALİ MİROĞLU

  2. Tez No

    411649

    Enerji ihtiyacının karşılanmasında doğalgaz ve rüzgâr kaynaklı enerji çevrim santralleri; yatımlar üzerine stratejik bir analiz

    Natural gas and wind based cycle plant in supplying the needs of energy reguirement; a strategic analysis on investments

    GÜVEN KARAMAN

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    İşletmeOrdu Üniversitesi

    Yenilenebilir Enerji Ana Bilim Dalı

    YRD. DOÇ. DR. KADİR AKSAY

  3. Tez No

    411650

    Ordu ekolojik koşullarında bazı kuru fasulye (Phaseolus vulgaris L.) çeşit ve genotiplerinin verim, verim öğeleri ile tohum ve teknolojik özelliklerinin belirlenmesi

    Determination of yield and components with seed and technological characteristics of some dry beans (Phaseolus vulgaris L.) varieties and genotypes on in ecological conditions of Ordu

    YAŞAR ÖZBEKMEZ

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    ZiraatOrdu Üniversitesi

    Tarla Bitkileri Ana Bilim Dalı

    PROF. DR. NURİ YILMAZ

  4. Tez No

    411652

    Yaş ve kuru çayda, verim ve önemli kalite parametrelerine sarı çay akarı (Polyphagotarsonemus latus (Banks, 1904)) (Prostigmata: Tarsonemidae)'nın etkisi

    Effect of yellow tea mite (Polyphagotarsonemus latus (Banks, 1904))(Prostigmata: Tarsonemidae) on yield and important quality parameters of fresh and dried tea

    BİRSEN AŞIK ÇUHADAR

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    ZiraatOrdu Üniversitesi

    Bahçe Bitkileri Ana Bilim Dalı

    PROF. DR. SAİM ZEKİ BOSTAN

    YRD. DOÇ. DR. RANA AKYAZI

  5. Tez No

    411653

    Doğu Karadeniz Bölgesi'ndeki amatör balıkçılığın sosyo ekonomik analizi

    Socio-economic analysis of amateur fishing in the Eastern Black Sea region

    MUHAMMET KARAPİÇAK

    Yüksek Lisans

    Türkçe

    Türkçe

    2015

    Balıkçılık TeknolojisiOrdu Üniversitesi

    Balıkçılık Teknolojisi Mühendisliği Ana Bilim Dalı

    DOÇ. DR. MEHMET AYDIN

Geri Dön