Execution of natural language requirements using State Machines synthesised from Behavior Trees

This paper defines a transformation from Behavior Tree models to UML state machines. Behavior Trees are a graphical modelling notation for capturing and formalising dynamic system behaviour described in natural language requirements. But state machines are more widely used in software development, and are required for use with many tools, such as test case generators. Combining the two approaches provides a formal path from natural language requirements to an executable model of the system. This in turn facilitates requirements validation and transition to model-driven software development methods. The approach is demonstrated by defining a mapping from Behavior Trees to UML state machines using the ATLAS Transformation Language (ATL) in the Eclipse Modeling Framework. A security-alarm system case study is used to illustrate the use of Behavior Trees and execution to debug requirements.

► We present a transformation from Behavior Tree models to UML State Machines.
► The mapping provides a formalisation of the semantics of BT notation.
► It also provides a rigorous path from requirements to executable models.
► We are debugging the requirements by executing SM models.
► System specifications are in turn improved.