Network objects in Maude

class Node | up:bool,

interfaces:List[InterfaceBuffer]

class Interface | up:bool, lan:Oid, node:Oid,

n2l,l2n:List[Packet]

class Lan | up:bool, wire:Default[Packet]

interfaces:List[InterfacePlug]

Previous slide

Next slide

Back to first slide

View graphic version