Towards verification of storyboards
Storyboards are commonly known as rows of pictures, which exemplarily sketch scenes in performing arts. The rows specify the sequence of scenes. The scenes themselves are illustrated. Here, we adapt this term for a different more abstract and more formal use of modeling processes with humans involved like teaching, e.g. Storyboards anticipate alternative paths by a nested hierarchy graphs instead of linear lists. Generally, the concept is able to model every process performed by humans and (partially) realized by human activities (in some cases with usage of computer implemented parts). Our storyboards consist of formal elements such as scenes, episodes, edges, and references along with a "grammar" to compose these elements. Here, we introduce a concept to prove formal properties that indicate structural integrity. The implementation of this concept automatically identifies structural anomalies and helps the storyboard author to compose storyboards.