Why Scrall?
You want to specify the precise computations that must be performed on all target platforms.
You want to give the implementation maximum flexibility when it comes to concurrency and distribution.
You want to specify the precise data to be processed without specifying any implementation data structures.
You want highlight the subject matter of your specification without cluttering it with modeling language artifact.
You don’t want an action language that is so complex it requires a 600 page specification.
You want a language that is consistent with all of the other Shlaer-Mellor Executable UML model components.