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

Full description

Bibliographic Details
Main Authors:	Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip
Format:	Article
Language:	English
Published:	2009
Online Access:	http://journalarticle.ukm.my/289/ http://journalarticle.ukm.my/289/ http://journalarticle.ukm.my/289/1/1.pdf

id	ukm-289
recordtype	eprints
spelling	ukm-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
repository_type	Digital Repository
institution_category	Local University
institution	Universiti Kebangasaan Malaysia
building	UKM Institutional Repository
collection	Online Access
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/ http://journalarticle.ukm.my/289/ http://journalarticle.ukm.my/289/1/1.pdf
first_indexed	2023-09-18T19:01:38Z
last_indexed	2023-09-18T19:01:38Z
_version_	1777403112801173504

Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z

Similar Items