Composite protocols for innovative active services

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.