KERML — Annex A (Model Execution) minor errors

Annex A (Model Execution) has some minor errors, including:

Spelling (multiple places):

• modelled/ing => modeled/ing

• assocation => association

• multiplities => multiplicities

Cross reference missing, "Clause" => "A.3.2"

A.3.3 (One-to-one connectors)

• second bullet list, cross reference missing, "Clause" => "A.3.2"

• near end, in MyBikeWheel-Fork-BWF-Link, hypens => underscores

A.3.4 (One-to-unrestricted connectors), in second code block

• MyBasket2_BikeFork1_BBF_Link => MyBikeBasket2_Fork1_BBF_Link

• MyBikeFork1_Basket1_BBF_Link => MyBikeBasket1_Fork1_BBF_Link

• MyBikeFork1_Basket2_BBF_Link => MyBikeBasket2_Fork1_BBF_Link

A.3.5 (Timing for structures), near end, MyBike_While_Fork2End_Link => MyBikeEnd_While_Fork2End_Link

A.3.6 (Timing for behaviors, Sequences), third to last line (step redefines dry : MyShip [1]), dry => ship.

A.3.8 (Timing for behavior, Changing feature values), in the code block just after the paragraphs starting

• "Instantiation step 6.b.i. the start of 6.c.i produces", insert "redefines" as a separate word between the two "feature startShot".

• "The third of instantiation step 6.b.ii and third start of 6.c.ii produces", move "dry.dried.endShot" to just before the following semi-colon and precede it by "chains ".

• "FeatureWritePerformances ensure when they finish that", insert "in " before "redefines onOccurrence" and "redefines replacementValues (three times each).

• "The first of instantiation step 6.b.ii and first start of 6.c.ii produces", in "feature redefines onOccurrence", feature => in