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...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2009
|
| Online Access: | http://journalarticle.ukm.my/289/ http://journalarticle.ukm.my/289/1/1.pdf |
| _version_ | 1848809193939664896 |
|---|---|
| author | Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip, |
| author_facet | Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip, |
| author_sort | Zarina Shukur, |
| building | UKM Institutional Repository |
| collection | Online Access |
| 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. |
| first_indexed | 2025-11-14T23:10:44Z |
| format | Article |
| id | ukm-289 |
| institution | Universiti Kebangasaan Malaysia |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T23:10:44Z |
| publishDate | 2009 |
| recordtype | eprints |
| repository_type | Digital Repository |
| 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 |
| spellingShingle | Zarina Shukur, Nursyahidah Alias, Bahari Idrus, Mohd Hazali Mohamed Halip, Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
| title | 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_short | Penspesifikasian dan pengesahsahihan formal protokol CSMA/CD menggunakan Z |
| title_sort | penspesifikasian dan pengesahsahihan formal protokol csma/cd menggunakan z |
| url | http://journalarticle.ukm.my/289/ http://journalarticle.ukm.my/289/ http://journalarticle.ukm.my/289/1/1.pdf |