Search

Graphical system sequence diagrams (SSDs), used in Requirements Engineering and Analysis, are hard to draw for larger use cases. However, we wanted to be able to express SSDs for such use cases as well. While we were designing a grammar for textual SSDs, we noted that we needed the same kind of structuring mechanisms as for modeling business processes and programming languages. Only the basic building block differs: e.g., an assignment statement for (imperative) programming languages and a (basic) interaction step for SSDs. Can we generalize this similarity idea, leading to (uniform) grammars for instruction languages in general, and exploit this? This paper presents a grammar for ‘structured’ Ws (where W stands for ‘Whatever’), leading to grammars for (textual) instruction languages. The general grammar contains constructs necessary for specifying all kinds of instructions. We illustrate our theory with examples from several different application areas. A basic building block might even be a picture or an icon, as we will point out. The main contribution of the paper is a powerful and uniform grammar for instruction languages in general, containing generic constructs for specifying various instructions conveniently. Exploiting the similarity between the structuring mechanisms for modeling business processes, (textual) SSDs, and programming languages will ease the translation towards an implementation in a software system. Usually the grammar rules for basic building blocks are domain specific and must be specified and added per application.