Is it possible to check software correctness with microflows? You could start with static checks to see wether a microflow is ended anyway. E.g. A = 1 --> A = A - 1 --> if A > 100 --> End A big advantage of microflows compared to traditional language that it is more restricted and more structured.
Chris de Gelder
Correctness behavior might explode in complexity for non trivial microflows, and we try to keep the checks fast enough to do it 'real-time'. However it might be interesting for a 'Mendix Lint Tool' indeed.