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

ATL Transformation Website, 2011. http://www.eclipse.org/atl/. Alin, 2010, Using the UML testing profile for enterprise service choreographies, 12 BE, 2011 Behavior Tree Group, 2007 Boston, 2008, Behavior trees – how they improve engineering behaviour? Chevalley, 2001, Automated generation of statistical test cases from UML state diagrams, 205 Colvin, 2007, Probabilistic timed Behavior Trees, 156 Colvin, 2008, Timed behavior trees for failure mode and effects analysis of time-critical systems, Journal of Systems and Software, 81, 2163, 10.1016/j.jss.2008.04.035 Colvin, 2010, A semantics for Behavior Trees using CSP with specification commands, Science of Computer Programming, 76, 891, 10.1016/j.scico.2010.11.007 Conformiq, 2011. http://www.conformiq.com/. Crane, 2007, UML vs. classical vs. rhapsody statecharts: not all models are created equal, Software and System Modeling, 6, 415, 10.1007/s10270-006-0042-8 Dromey, 2005, Genetic design: amplifying our ability to deal with requirements complexity, 95 Dromey, 2003, From requirements to design: formalizing the key steps, 2 Dromey, 2006, Climbing over the ‘no silver bullet’ brick wall, IEEE Software, 23, 118, 10.1109/MS.2006.44 Glass, 2004, Is this a revolutionary idea, or not?, Communications of the ACM, 47, 23, 10.1145/1029496.1029514 Grunske, 2008, Defining the abstract syntax of visual languages with advanced graph grammars – a case study based on behavior trees, Journal of Visual Languages and Computing, 19, 343, 10.1016/j.jvlc.2007.11.003 Grunske, 2011, Experience with fault injection experiments for FMEA, Software: Practice and Experience, 41, 1233, 10.1002/spe.1039 Harel, 2005, Synthesis revisited: generating statechart models from scenario-based requirements, 309 Höfig, 2011, On the performance of UML state machine interpretation at runtime, 118 Kim, 1999, Test cases generation from UML state diagrams, 187 Kruger, I., 2000. Distributed System Design with Mess Sequence Charts. Ph.D. Thesis. Technical University Munich. Lindsay, 2010, Behavior Trees: From Systems Engineering to Software Engineering, 21 Lindsay, 2011, Cut Set Analysis using Behavior Trees and model checking, Formal Aspects of Computing MBTsuite, 2011. http://www.seppmed.de/produkte/mbtsuite.html. Meng, 2011, Synthesis of Reo circuits from scenario-based interaction specifications, Science of Computer Programming, 76, 651, 10.1016/j.scico.2010.03.002 Myers, T., 2010. The foundations for a scaleable methodology for systems design. Ph.D. Thesis. School of Computer and Information Technology, Griffith University, Australia. Myers, 2011, TextBE: a textual editor for behavior engineering Myers, 2012 OMG, 2011 OMG, 2011 Powell, 2007, Requirements evaluation using Behavior Trees – findings from industry Prowell, 1999 Schmidt, 2006, Guest editor's introduction: model-driven engineering, IEEE Computer, 39, 25, 10.1109/MC.2006.58 SpecExplorer, 2011. http://research.microsoft.com/en-us/projects/specexplorer/. TestCast MBT, 2011. http://www.elvior.com/mbt-2/mbt. Uchitel, 2003, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering, 29, 99, 10.1109/TSE.2003.1178048 UML2Tools, 2011 Whittle, 2006, Generating hierarchical state machines from use case charts, 16 Whittle, 2000, Generating statechart designs from scenarios, 314