Our Approach
Maude specification of network services
- generic network model based on distributed objects
- extended to treat timers and timestamps
- specific services
- specifed by subclassing
- composed by module composition
-
Simulation primitives based on Maude’s meta-level
- rule schemes -- identify the principle object
- gas allocation
- path abstractions
Strategies defined in terms of the primitives