Changes between Version 5 and Version 6 of ExDescLang

Timestamp:

Oct 11, 2010 12:10:15 PM (14 years ago)

Author:

sunshine

Comment:

--

ExDescLang

@@ -29 +29 @@
 '''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.
 
-=== 
+=== Diving in ===
+
+I'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.
+
+== Example 1: botnet ==
+
+This example used 3 metadescriptions. Let's go through each of them:
+