Generating Executable Scenarios from Natural Language
作者： Michal Gordon , David Harel
DOI: 10.1007/978-3-642-00382-0_37
关键词:
摘要: Bridging the gap between specification of software requirements and actual execution behavior specified system has been target much research in recent years. We have created a natural language interface, which, for useful class systems, yields automatic production executable code from structured requirements. In this paper we describe how our method uses static dynamic grammar generating live sequence charts (LSCs), that constitute powerful extension diagrams reactive systems. implemented an translation controlled into LSCs, demonstrate it on two sample
springer.com
weizmann.ac.il 
sci-hub.st 参考文章(22)
Norbert E. Fuchs, Rolf Schwitter, Attempto Controlled Natural Language for Requirements Specifications workshop on logic programming environments. ,(1995)
David Harel, Rami Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine ,(2003)
David Harel, Itai Segall, Planned and traversable play-out: a flexible method for executing scenario-based programs tools and algorithms for construction and analysis of systems. pp. 485- 499 ,(2007) , 10.1007/978-3-540-71209-1_37
Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita, A Proposal of Adequate and Efficient Designing of UML Documents for Beginners international conference on knowledge-based and intelligent information and engineering systems. pp. 1331- 1338 ,(2007) , 10.1007/978-3-540-74827-4_166
K.Y. Perez Herrera, M.C. Laura Mendez, C.R. Romero, UML Sequence Diagram Generator System from Use Case Description Using Natural Language electronics robotics and automotive mechanics conference. pp. 360- 363 ,(2007) , 10.1109/CERMA.2007.137
David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, Smart Play-out of Behavioral Requirements formal methods in computer-aided design. ,vol. 2517, pp. 378- 398 ,(2002) , 10.1007/3-540-36126-X_23
Rajeev Alur, Kousha Etessami, P. Madhusudan, A Temporal Logic of Nested Calls and Returns tools and algorithms for construction and analysis of systems. ,vol. 2988, pp. 467- 481 ,(2004) , 10.1007/978-3-540-24730-2_35
Jaroslav Drazan, Vladimir Mencl, Improved Processing of Textual Use Cases: Deriving Behavior Specifications conference on current trends in theory and practice of informatics. pp. 856- 868 ,(2007) , 10.1007/978-3-540-69507-3_74
Daniel Jurafsky, James H Martin, Speech and Language Processing: An Introduction to Natural Language Processing, Computational Linguistics, and Speech Recognition Prentice Hall. ,(2000)
Werner Damm, David Harel, LSCs: Breathing Life into Message Sequence Charts formal methods. ,vol. 19, pp. 45- 80 ,(2001) , 10.1023/A:1011227529550