Shimon Rura, shimon@rura.org All nonlocal parameters of pre- and post-requisites must be IN, not OUT or IN/OUT.

Shimon Rura, shimon@rura.org Every parameter of a substep, reaction, requisite, or handler binding must be bound.

Shimon Rura, shimon@rura.org Non-leaf step with no substeps: very strange.

Shimon Rura, shimon@rura.org Step unreachable from diagram root.

Shimon Rura, shimon@rura.org Root step must have an agent.

Shimon Rura, shimon@rura.org Parent step does not handle nor declare exception thrown by substep, requisite, reaction, or handler.

Shimon Rura, shimon@rura.org Step has handler for an exception which is not thrown by any of its substeps, requisites, reactions, or handlers.

Shimon Rura, shimon@rura.org Non-leaf step throws exception which is not thrown by any of its substeps, requisites, reactions, or handlers.

Shimon Rura, shimon@rura.org Race condition: multiple substeps of parallel-sequenced step accessing a parameter which is written to.

Shimon Rura, shimon@rura.org Value of parameter used in an IN or IN/OUT parameter binding has no static initializer, is not passed in from a parent, and is not bound to an out parameter of a previous substep.

Shimon Rura, shimon@rura.org Value of parameter used in an IN or IN/OUT parameter binding with a handler step has no static initializer, is not passed in from a parent, and is not bound to an out parameter of a substep which will be executed before one throwing the exception being handled.

Shimon Rura, shimon@rura.org Multiple interface items (in same step) with same name.

Shimon Rura, shimon@rura.org If a step has a "resource use" named "agent", it must be bound in a parameter binding to its parent.

Shimon Rura, shimon@rura.org Leaf step has an uninitialized local variable.

Shimon Rura, shimon@rura.org Non-leaf step has a parameter or local that is never bound.

Shimon Rura, shimon@rura.org Deadlines (indicated by parameter "deadline") only apply to leaf steps.

Shimon Rura, shimon@rura.org Try step has unreachable substeps; a nonfinal substep does not throw any exceptions handled by the try step with continue semantics.

Shimon Rura, shimon@rura.org Non-leaf step receives out parameter, but does not propogate to a parent, later substep, reaction, exception, or postrequisite.

Shimon Rura, shimon@rura.org Non-leaf step's out parameter is never set: it has no static initializer and is never bound.

Shimon Rura, shimon@rura.org Unreachable substeps of a sequential step: recursive substep precedes other substeps and throws no exception handled by the parent with continue semantics.

Shimon Rura, shimon@rura.org Prerequisite loop: step has itself as a prerequisite or prerequisite's[...] prerequisite, and thus will never execute.

Shimon Rura, shimon@rura.org Postrequisite loop: step has itself as a postrequisite or postrequisite's[...] postrequisite, and thus will never complete.

Shimon Rura, shimon@rura.org Steps along a step's recursive cycle throw no exceptions and do no resource acquisitions, and the step has no rethrow or complete handlers. Recursion may be infinite.