A worm infects some vulnerable hosts, they organize into a P2P botnet with some botmaster and start exchanging C&C traffic. Experimenter wants to observe the evolution of the botnet and the amount of traffic that master receives. There are two classes of experiments here that need to be combined together:
    a. an experiment where worm spreads and infects vulnerable hosts
    b. an experiment where some hosts organize into P2P network and somehow elect a leader who then sends commands to them and they may send reports back

== Example 1: Botnet ==

This example used two metadescriptions. Let's go through each of them. This example is written in [CurrentlyProposedLanguage].

=== Worm spread metadescription ===


 * '''Logical topology:''' 
  
  '''Objects:'''

    VNode extends Node

    VNode := {state = Vulnerable, Vulnerability vulnerability = x}

    INode := VNode {state = Infected}

  '''Cardinality:'''

    |INode|,,>=1,,
 
    |VNode|,,>=1,,

  '''Relationships:'''

   
 * '''Timeline of events: '''

   '''Definitions:'''
     
     each Inode i, some VNode v:
      
       e1 := {type = SCAN, origin = i, destination = v, vulnerability = x }

       s1 := {v.state = Infected}

   '''Timeline:'''
  
       e1 -> if (e1.vulnerability == v.vulnerability) then s1


 * '''Invariants:''' No additional ones are needed here.

=== P2P w leader and C&C traffic metadescription ===

* '''Logical topology:''' 

  '''Objects:'''

    Peer extends Node

    Peer := {Peer[] peers = {}, Leader leader = none }

    Leader extends Peer

    Leader := {Peer[] slaves = {}  }

  '''Cardinality:'''

    |Peer|,,>=2,,

    |Leader|,,>=1,,

  '''Relationships:'''


 * '''Timeline of events: '''

  '''Definitions:'''

    each Peer peer1, some Peer peer2: 
 
      e1 := {type = WANNAPEER, origin = peer1, destination = peer2}

      e2 := {type = YESPEER, origin = peer2, destination = peer1}

      s1 := {peer2.peers += peer1}

      s2 := {peer2.peers += peer1}
 
   each Peer x: 
      
      e3 := {type = LEADERIS, origin = p in x.peers, destination = x, Leader yourleader = leader}

      s3 := {x.leader = leader}

      e4 := {type = HELLO, origin = x, destination = x.leader} 

      e5 := {type = CMD, origin = x.leader, destination = x, String cmd = c} 

      e6 := {type = REPORT, origin = x, destination = x, String report = r} 

  '''Timeline:'''

      e1 -> [s1 and e2 -> s2] || e3 -> s3 -> e4 -> e5 -> [e6]


 * '''Invariants:''' No additional ones are needed here.

=== Experiment design ===

Now I'm a user who wants to design my experiment. I need to combine two metadescriptions and somehow tie them down to generator choices. To combine I need to specify how outputs of worm metadescription match inputs of P2P metadescription. I'll do something like this:

  Worm w, P2P p2p
 
    p2p.Peer := w.Infected

    w || p2p


i.e. each infected host becomes a peer.