A LTS Approach to Control in Event-B

Table 3

Comparison of major control flow modeling methods.

Method	Ability
	Formal behavior semantics	Way of expression	Convertible to LTS
ERS	No	Tree structure	No
Flow Method	No	Events and relationships	No
CSP∥B	Yes	Process algebra	Yes
LTS+iUML-B	Yes	States and transitions	Yes