Record Details

Z Tanımlamasının Prologa Çevirilerek Animasyonu

Doğuş University Journal

View Archive Info
 
 
Field Value
 
Title Z Tanımlamasının Prologa Çevirilerek Animasyonu
Animation of Z Specifications By Translation to Prolog
 
Creator SALMAN, Omar
 
Subject —
Formal Metodlar ; Z Tanımlama Dili ; Animasyon ; Z Şeması
—
—
Formal Methods; Z Specification; Animation; Z Schema
—
 
Description Yazılım geliştirebilmenin formal metodları o yazılım tanımlamasının geçerliliğine bağlıdır. Böyle bir tanımlama genelde 'Z' gibi bir formal dilde ifade edilir. Ancak, geçerli olması için, 'Z' tanımlaması test edilmeli, bunu yapabilmek için de animasyon yapılabilecek ve icra edilebilecek bir forma transfer edilebilmelidir. 'Z' tanımlamalarının animasyonları için kullanılan dillerden birisi Prolog'dur. Bu makalede 'Z' şemalarını Prolog'a çeviren teknikler açıklanmaktadır.Aym zamanda bu tür bir çevirmenin eksikleri ve belirsizlikleri üzerinde durulacaktır.
Formal methods of software development rely on the validation of the specification of the software. Such specification is normally expressed in a formal language such as Z. However, in order to be validated the Z specification must be tested, and to achieve this it has to be transformed into a form that can be executed or animated. Prolog was one of the languages used for animation of Z specifications. This paper explains the techniques used for translating Z schemas into Prolog predicates. It also examines some of this translation shortcomings and unreliable features.
 
Publisher Doğuş Üniversitesi
 
Contributor —
—
 
Date 2011-03-04
 
Type info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
—
—
—
—
 
Format application/pdf
 
Identifier http://journal.dogus.edu.tr/index.php/duj/article/view/261
 
Source Doğuş University Journal; Cilt 1, Sayı 1 (2000): Ocak; 155-167
Doğuş Üniversitesi Dergisi; Cilt 1, Sayı 1 (2000): Ocak; 155-167
1308-6979
1302-6739
 
Language eng
 
Relation http://journal.dogus.edu.tr/index.php/duj/article/view/261/pdf_94