Maude Network Model
A network configuration consists of various objects:
- network nodes (hosts and routers)
- communication media (lans, lines ... )
- interfaces connecting nodes to media
- packets in node buffers or in transit
Local behavior given by rewrite rules
- node processing
- packet moving
Global behavior for a system given by system rules
- instantaneous local change
- global passage of time
r: (O <- M) < O : C | atts >
< O : C | atts’ > newObjects newMessages