Presentation | 1999/1/23 Specifying The Address Resolution Protocol by using Behavioural Specifications Hiroshi Unno, Kokichi Futatsugi, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Behavioural specification characterize how systems behave, not how they are implemented.Behavioural equivalence is besed on the idea of indistinguishability of states that are observationally the same.Algebraic specification language CafeOBJ supports behavioural specification. Projection operator plays an important role when we will compose behavioural specifications, and it supports reusability of proofs.In this paper, we study the method to specify concurrent systems, a simple communication system with data transfer, and The Address Resolution Protocol, by using behavioural specification. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Formal Methods / formal specification / Algebraic specification / behavioural specification / hidden algebra / concurrent systems |
Paper # | SS98-49 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1999/1/23(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Specifying The Address Resolution Protocol by using Behavioural Specifications |
Sub Title (in English) | |
Keyword(1) | Formal Methods |
Keyword(2) | formal specification |
Keyword(3) | Algebraic specification |
Keyword(4) | behavioural specification |
Keyword(5) | hidden algebra |
Keyword(6) | concurrent systems |
1st Author's Name | Hiroshi Unno |
1st Author's Affiliation | Graduate School of Information Science, Japan Advanced Institute of Science and Technology() |
2nd Author's Name | Kokichi Futatsugi |
2nd Author's Affiliation | Graduate School of Information Science, Japan Advanced Institute of Science and Technology |
Date | 1999/1/23 |
Paper # | SS98-49 |
Volume (vol) | vol.98 |
Number (no) | 559 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |