...
Step 1 - We write the Scout specification in EventML
Image Removed
EventML uses classes from the Formal Digital Library to describe events and protocols.
Image Added
Step 2 - Generate the Inductive Logical Form (ILF)from the Scout specification
...