The Boundalyzer is a tool for building and analyzing boundary specifications for software artifacts, inspired by the Black Box Specification of Harlan Mills, which is also one element of the Cleanroom Software Engineering process.
ActivityScript takes an activity diagram (created with a UML tool) and executes it's contents. The content of Activity boxes are executed, the Guards of a Decision box are evaluated to control program flow and Fork boxes initiate new threads.