Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu

Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu

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...

Full description

Bibliographic Details
Main Author: Omar SALMAN
Format: Article
Language:English
Published: Dogus University 2000-01-01
Series:Doğuş Üniversitesi Dergisi
Subjects:
Formal methods
Z specification
Animation
Z schema
Online Access:http://journal.dogus.edu.tr/index.php/duj/article/view/261
id doaj-318f1838bab74d049cd387cf4e77b134
record_format Article
spelling doaj-318f1838bab74d049cd387cf4e77b1342020-11-24T22:39:12ZengDogus UniversityDoğuş Üniversitesi Dergisi1302-67391308-69792000-01-011155167Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek AnimasyonuOmar SALMANFormal 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.http://journal.dogus.edu.tr/index.php/duj/article/view/261Formal methodsZ specificationAnimationZ schema
collection DOAJ
language English
format Article
sources DOAJ
author Omar SALMAN
spellingShingle Omar SALMAN
Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu
Doğuş Üniversitesi Dergisi
Formal methods
Z specification
Animation
Z schema
author_facet Omar SALMAN
author_sort Omar SALMAN
title Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu
title_short Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu
title_full Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu
title_fullStr Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu
title_full_unstemmed Animation of Z Specifications by Translation to Prolog = Z Tanımlamasının Prologa Çevirilerek Animasyonu
title_sort animation of z specifications by translation to prolog = z tanımlamasının prologa çevirilerek animasyonu
publisher Dogus University
series Doğuş Üniversitesi Dergisi
issn 1302-6739
1308-6979
publishDate 2000-01-01
description 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.
topic Formal methods
Z specification
Animation
Z schema
url http://journal.dogus.edu.tr/index.php/duj/article/view/261
work_keys_str_mv AT omarsalman animationofzspecificationsbytranslationtoprologztanımlamasınınprologacevirilerekanimasyonu
_version_ 1725710271322783744

Similar Items