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

No Thumbnail Available
File version
Author(s)
Kim, Soon-Kyeong
Myers, Toby
Wendland, Marc-Florian
A. Lindsay, Peter
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
2012
Size
File type(s)
Location
License
Abstract

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.

Journal Title

Journal of Systems and Software

Conference Title
Book Title
Edition
Volume

85

Issue

11

Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Software engineering not elsewhere classified

Data management and data science

Information systems

Persistent link to this record
Citation
Collections