ANIMATION OF Z SPECIFICATIONS BY TRANSLATION TO PROLOG

Authors : Omar SALMAN

Pages : 155-167

View : 10 | Download : 10

Publication Date : 2000-01-01

Article Type : Research Paper

Abstract :Yazılım geliştirebilmenin formal metodları o yazılım tanımlamasının geçerli­liğine bağlıdır. Böyle bir tanımlama genelde 'Z' gibi bir formal dilde ifade edilir. A n­cak, geçerli olması için, 'Z' tanımlaması test edilmeli, bunu yapabilmek için de ani­m asyon yapılabilecek ve icra edilebilecek bir forma transfer edilebilmelidir. 'Z' ta­nımlamalarının animasyonları için kullanılan dillerden birisi Prolog'dur. Bu makale­de 'Z' şemalarını Prolog'a çeviren teknikler açıklanmaktadır.Aym zamanda bu tür bir çevirmenin eksikleri ve belirsizlikleri üzerinde durulacaktır
Keywords : form al metodlar, Z ' tanımlama dili, animasyon, Z ' şeması