Title :
Composite protocols for innovative active services
Author :
Minden, G. ; Komp, E. ; Ganje, S. ; Kannan, M. ; Subramaniam, S. ; Tan, S. ; Vallabhaneni, S. ; Evans, J.
Author_Institution :
Dept. of Electr. Eng. & Comput. Eng., Kansas Univ., Lawrence, KS, USA
fDate :
6/24/1905 12:00:00 AM
Abstract :
We define a modular approach for specifying and implementing network protocols. Our approach partitions protocols into single function modules called protocol components. Each protocol component is specified in terms of finite state machines, action functions, memory, memory operations, and properties. This specification is amenable to rapid definition of protocol components, rapid composition of protocol components into protocols, and automatic analysis and manipulation of complete protocols.
Keywords :
finite state machines; formal specification; protocols; action functions; composite protocols; definition; finite state machines; formal analysis of protocols; memory; memory operations; network protocols; protocol components; single function modules; specifying; Automata; Internet; Programming profession; Protocols; TCPIP; Telecommunication network reliability; Testing;
Conference_Titel :
DARPA Active NEtworks Conference and Exposition, 2002. Proceedings
Print_ISBN :
0-7695-1564-9
DOI :
10.1109/DANCE.2002.1003490
