| 9 | | * topology (could or could not be domain-dependent. we move the domain-dependent part into invariants. for example "cong. control experiments need a common core where congestion occurs.) |
| 10 | | * invariants (statements that must be true for this class of experiments to be valid, and conditions for this to happen. domain-specific) |
| 11 | | * workflow (domain-specific) |
| | 9 | * topology (could or could not be domain-dependent. we move the domain-dependent part into invariants. for example "cong. control experiments need a common core where congestion occurs.) - LANGUAGE: TopDL with understanding that there's a way to translate this into NS |
| | 10 | * invariants (statements that must be true for this class of experiments to be valid, and conditions for this to happen. domain-specific) - LANGUAGE: Arun's DETERmine grammar ss final output but user may interact with a translation of it in English |
| | 11 | * actors are defined separately - actors map to topology somehow - there may be additional directives to denote how to do this mapping. For each actor you may choose to use one or many, or you could group them and use one or many actor groups in your experiment (e.g. simultaneous DDoS attacks) - LANGUAGE: TBD but pretty simple |
| | 12 | * event timeline (domain-specific) - LANGUAGE: Arun's DETERmine grammar; |
