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

Authors:
Soon-Kyeong Kim;Toby Myers;Marc-Florian Wendland;Peter A. Lindsay
Affiliations:
Software Systems Research Group, Queensland Research Lab, National ICT, Australia;Griffith University, Nathan, QLD 4111, Australia;Fraunhofer Institut FOKUS, Berlin, Germany;School of ITEE, The University of Queensland, QLD 4072, Australia and Software Systems Research Group, Queensland Research Lab, National ICT, Australia
Venue:
Journal of Systems and Software
Year:
2012

Citing 18
Cited 0

Cleanroom software engineering: technology and process

Cleanroom software engineering: technology and process
Generating statechart designs from scenarios

Proceedings of the 22nd international conference on Software engineering
Synthesis of Behavioral Models from Scenarios

IEEE Transactions on Software Engineering
Automated Generation of Statistical Test Cases from UML State Diagrams

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Is this a revolutionary idea, or not?

Communications of the ACM - Bioinformatics
Guest Editor's Introduction: Model-Driven Engineering

Computer
Climbing over the "No Silver Bullet" Brick Wall

IEEE Software
Generating Hierarchical State Machines from Use Case Charts

RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Defining the abstract syntax of visual languages with advanced graph grammars-A case study based on behavior trees

Journal of Visual Languages and Computing
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems

Journal of Systems and Software
Probabilistic timed behavior trees

IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Using the UML Testing Profile for Enterprise Service Choreographies

SEAA '10 Proceedings of the 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications
Behavior Trees: From Systems Engineering to Software Engineering

SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Synthesis of Reo circuits from scenario-based interaction specifications

Science of Computer Programming
On the performance of UML state machine interpretation at runtime

Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
A semantics for Behavior Trees using CSP with specification commands

Science of Computer Programming
Experience with fault injection experiments for FMEA

Software—Practice & Experience
Genetic design: amplifying our ability to deal with requirements complexity

SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools

Quantified Score

Hi-index	0.00

Visualization

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.