Changes between Version 6 and Version 7 of ExDescLang


Ignore:
Timestamp:
Oct 11, 2010 12:10:47 PM (14 years ago)
Author:
sunshine
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ExDescLang

    v6 v7  
    11This page talks about language used to design experiments. It should both be used to design metadescriptions and perhaps to make them more specific to a particular experiment the user wants to run.
    22
    3 === Examples ===
     3= Examples =
    44
    55I'll start with a few examples of experiments first, that we should be able to design in this language.
    … …  
    1717    b. an experiment where an attacker changes traffic passing through it
    1818
    19 === Requirements ===
     19= Requirements =
    2020
    2121We may end up with a single language or a set of related languages. Here is what we need to express:
    … …  
    2929'''Note that intentionally this is all pretty high-level and is orthogonal to any generator used to generate topologies, traffic, etc.''' There must be a mapping process that selects eligible generators for each dimension and takes their output and maps objects and events to it. More about this mapping process later.
    3030
    31 === Diving in ===
     31= Diving in =
    3232
    3333I'll now ignore the question '''which language to use to design experiments''' because I think that pretty much any language can be used once we know '''what we want to say'''. To figure this out I'll try to use a variant of FSA (finite state automata) and Arun's adaptation of TLA (temporal logic algebra) to describe example experiments from above. If the level of detail is right we can decide on appropriate language in the next step.