Abstract:
A protocol synthesis technique for developing the protocol derivation algorithm, by using a state-transition model is presented. A state-transition model, which can easily describe a service containing an infinite number of possible execution paths by using transition loops in finite state machines (FSM) and which seems to be a more natural and better understood model. An error-recovery transformation procedure to fix the sink-state and duplicate acceptance problems is deviced.
Page(s):
41-48
DOI:
DOI not available
Published:
Journal: Sindh University Research Journal, Volume: 36, Issue: 1, Year: 2004