Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z
This paper discusses the formal specification and validation for CSMA/CD protocol. The Z specification language is used to specify a node in a network and a situation in a bus implementation for CSMA/CD protocol. One basic type, four free types, one global variables, two state schemas and nine oper...
Saved in:
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
2009
|
Online Access: | http://journalarticle.ukm.my/289/1/1.pdf http://journalarticle.ukm.my/289/ http://www.ukm.my/jkukm/index.php/jkukm |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
my-ukm.journal.289 |
---|---|
record_format |
eprints |
spelling |
my-ukm.journal.2892016-12-14T06:26:57Z http://journalarticle.ukm.my/289/ Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip, This paper discusses the formal specification and validation for CSMA/CD protocol. The Z specification language is used to specify a node in a network and a situation in a bus implementation for CSMA/CD protocol. One basic type, four free types, one global variables, two state schemas and nine operation schemas that represent CSMA/CD protocol have been specified by using the Z language. The specification has been validated by using theorem proving techniques supported by Z/EVES theorem prover. Nine theorems have been identified based on the nine specified operations. This study has shown that, Z has the ability to specify a communication protocol. Beside that, the usage of support tools during a proving process can save time dan energy, and reduce error-prone. 2009 Article PeerReviewed application/pdf en http://journalarticle.ukm.my/289/1/1.pdf Zarina Shukur, and Nursyahidah Alias, and Bahari Idrus, and Mohd Hazali Mohamed Halip, (2009) Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z. Jurnal Kejuruteraan, 21 . pp. 85-96. http://www.ukm.my/jkukm/index.php/jkukm |
institution |
Universiti Kebangsaan Malaysia |
building |
Perpustakaan Tun Sri Lanang Library |
collection |
Institutional Repository |
continent |
Asia |
country |
Malaysia |
content_provider |
Universiti Kebangsaan Malaysia |
content_source |
UKM Journal Article Repository |
url_provider |
http://journalarticle.ukm.my/ |
language |
English |
description |
This paper discusses the formal specification and validation for CSMA/CD protocol. The Z specification
language is used to specify a node in a network and a situation in a bus implementation for CSMA/CD protocol. One basic type, four free types, one global variables, two state schemas and nine operation schemas that represent CSMA/CD protocol have been specified by using the Z language. The specification has been validated by using theorem proving techniques supported by Z/EVES theorem prover. Nine theorems have been identified based on the nine specified operations. This study has shown that, Z has the ability to specify a communication protocol. Beside that, the usage of support tools during a proving process can save time dan energy, and reduce error-prone. |
format |
Article |
author |
Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip, |
spellingShingle |
Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip, Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
author_facet |
Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip, |
author_sort |
Zarina Shukur, |
title |
Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
title_short |
Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
title_full |
Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
title_fullStr |
Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
title_full_unstemmed |
Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
title_sort |
penspesifikasian dan pengesahsahihan formal protokol csma/cd menggunakan z |
publishDate |
2009 |
url |
http://journalarticle.ukm.my/289/1/1.pdf http://journalarticle.ukm.my/289/ http://www.ukm.my/jkukm/index.php/jkukm |
_version_ |
1643734665338552320 |
score |
13.18916 |