Communications of the ACM
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Smart Play-out of Behavioral Requirements
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Two-Level Grammar as an Object-Oriented Requirements Specification Language
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Natural Language Engineering
Speech and Language Processing (2nd Edition)
Speech and Language Processing (2nd Edition)
UML Sequence Diagram Generator System from Use Case Description Using Natural Language
CERMA '07 Proceedings of the Electronics, Robotics and Automotive Mechanics Conference
Improved Processing of Textual Use Cases: Deriving Behavior Specifications
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
A Proposal of Adequate and Efficient Designing of UML Documents for Beginners
KES '07 Knowledge-Based Intelligent Information and Engineering Systems and the XVII Italian Workshop on Neural Networks on Proceedings of the 11th International Conference
Planned and traversable play-out: a flexible method for executing scenario-based programs
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
PlayGo: towards a comprehensive tool for scenario based programming
Proceedings of the IEEE/ACM international conference on Automated software engineering
A decentralized approach for programming interactive applications with JavaScript and blockly
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Hi-index | 0.00 |
Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in recent years. We have created a natural language interface, which, for a useful class of systems, yields the automatic production of executable code from structured requirements. In this paper we describe how our method uses static and dynamic grammar for generating live sequence charts (LSCs), that constitute a powerful executable extension of sequence diagrams for reactive systems. We have implemented an automatic translation from controlled natural language requirements into LSCs, and we demonstrate it on two sample reactive systems.