[Modelinterpreter] EXE cikk javaslatok

[Gergely Dévai]

Sziasztok!

Pár megjegyzés tőlem is:

E. Alternative ways for communication:

Növelné a szöveg koherenciáját, ha ebben a szakaszban visszautalnánk a 
korábbi szakaszokra, ahol a JDI-s megoldás már nagyon részletesen 
ismeretetésre került. Ahhoz képest kellene az alternatívákat bemutatni.

Termination:

"To this point, we had the assumption that the runtime
terminates eventually by itself. However, this is not always the
case." ==> "It is not always the case that the runtime terminates 
eventually by itself."
(Eddig terminálásról nem volt szó a cikkben, ezért assumption sem lehetett.)

Meg kellene említeni a szakasz elején, hogy most arról az esetről van 
szó, amikor a user a terminate gombbal le akar lőni egy session-t. Ez 
nem csak végtelen ciklusok esetén érdekes, hanem akkor is, ha egyébként 
magától is véget érne a futás. Ennek megfelelően módosítanám a szakasz 
bevezető szövegét.

Tool implementation:

"The execution engine at each step
will look at the available events, nondeterministically chooses
an applicable one," ==> Ez nem igaz, jelenleg minden determinisztikusan 
történik, mert még csak egy state machine van. Később, ha több aktív 
objektum vagy komponens küld majd üzeneteket egymásnak, akkor lesz 
nemdeterminisztikus választás, de akkor is figyelembe kell majd venni 
megszorításokat.
Javasolt szöveg: "The execution engine at each step dispatches the next 
available signal".

"to visualise model execution" ==> "to visualise state machine execution"

Summary: Ezzel nem vagyok elégedett, ebéd közben majd gondolkozom 
módosítási javaslaton. :)

Gergő