SLIDE 16 Exemplary Service: Packet Counting
Motivation Service Model Language
⊲ Examples
Summary/Conclusion
Lukas Ruf, ETH Z¨ urich 12 Counting with Control Service Program
Extra Intra Counter−1 Counter−2 H3 H2 H1 H4 Control NIF1 NIF
2
- Component control interface
- Control interface multiplexing
- 1:N control relation
{#c o u n t e r s e r v i c e /∗ s e r v i c e ID∗/ !{ /∗ Con trol Chain ∗/ =1s /∗ I n t e r v a l ∗/ ( b in ia32 ) /∗ S p e c i f i c a t i o n ∗/ Con trol . ko /∗ Binary Code ∗/ #ControlID /∗ I n s t a n c e I D ∗/ ( "reset " ) /∗ C t r l I n f o ∗/ : #C o n t r o l I n t e r f a c e /∗ CCI ∗/ ! #Counter1Ctrl@1 /∗ CCI ∗/ ! #Counter2Ctrl@2 /∗ CCI ∗/ } /∗ end
Con trol Chain ∗/ /∗ Counter−1 S e r v i c e Chain ∗/ > #H1 /∗ c r e a t e hook ∗/ copy /∗ copy method ∗/ ? NIF1 /∗ from NIF1 ∗/ @ { /∗ Component S t r i n g ∗/ ( s r c ) /∗ S p e c i f i c a t i o n ∗/ Counter . c /∗ Source Code ∗/ #Counter1ID /∗ I n s t a n c e I D ∗/ : #Cou n ter1Ctrl /∗ CCI ∗/ ( "reset " ) /∗ C t r l I n f o ∗/ } /∗ end
Component S t r i n g ∗/ @ > #H2 /∗ c r e a t e hook ∗/ copy /∗ copy method ∗/ ? NIF2 /∗ NIF2 ∗/ /∗ Counter−2 S e r v i c e Chain ∗/ > #H3 /∗ c r e a t e hook ∗/ copy /∗ copy method ∗/ ? NIF2 /∗ from NIF2 ∗/ @ { /∗ Component S t r i n g ∗/ ( s r c ) /∗ S p e c i f i c a t i o n ∗/ Counter . c /∗ Source Code ∗/ #Counter2ID /∗ I n s t a n c e ID ∗/ : #Cou n ter2Ctrl /∗ CCI ∗/ ( "reset " ) /∗ C t r l I n f o ∗/ } /∗ end
Component S t r i n g ∗/ @ > #H4 /∗ c r e a t e hook ∗/ copy /∗ copy method ∗/ ? NIF1 /∗ to NIF1 ∗/ }