CML Simulation Sample Clauses

CML Simulation. Please note: this section serves as the documentation requirements of D32.1. The commandline tool enables simulation of CML models when invoked with the -e option. Since the CML model may have more than one process defined, the -e=<processId> option must be supplied, where <processId> is the name of the process that is to be simulated. As an example of how this works, consider the following CML model in a file called example.cml: ✞ ☎ channels init, a, b process A = begin @ init -> a -> Skip end process B = begin @ init -> b -> Skip end process C = A;B ✝ ✆ The following command will simulate the process identified by C: ✞ ☎ cmlc -e=C example.cml ✝ ✆ This results in the following output being printed to the console: ✞ ☎ COMPASS command line CML Checker - CML 0 Parsing file: example.cml 1 file(s) successfully parsed. Starting analysis: Running The CML Type Checker on example.cml Running The CML Interpreter on example.cml --------begin step--------- Offered Events: <init> Current interpretation state: C = (A = (init->a->Skip);B) Trace after step: <init> --------begin step--------- Offered Events:

CML Simulation. ‌ The commandline tool enables simulation of CML models when invoked with the -e option. Since the CML model may have more than one process defined, the -e=<processId> option must be supplied, where <processId> is the name of the process that is to be simulated. As an example of how this works, consider the following CML model in a file called example.cml: , , channels init, a, b process A = begin @ init -> a -> Skip end process B = begin @ init -> b -> Skip end process C = A;B z r The following command will simulate the process identified by C: , , cmlc -e=C example.cml