Model-Driven Prototyping Based Requirements Elicitation

Authors:
Jicheng Fu;Farokh B. Bastani;I-Ling Yen
Affiliations:
Department of Computer Science, The University of Texas at Dallas, EC 31 Richardson, USA TX 75083-0688;Department of Computer Science, The University of Texas at Dallas, EC 31 Richardson, USA TX 75083-0688;Department of Computer Science, The University of Texas at Dallas, EC 31 Richardson, USA TX 75083-0688
Venue:
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Year:
2008

Citing 21
Cited 2

A Prototyping Language for Real-Time Software

IEEE Transactions on Software Engineering
Software Evolution Through Rapid Prototyping

Computer
Fundamentals of Deductive Program Synthesis

IEEE Transactions on Software Engineering
Fast planning through planning graph analysis

Artificial Intelligence
Requirements engineering: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering

IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Conceptual modeling through linguistic analysis using LIDA

ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Operational Prototyping: A New Development Approach

IEEE Software
Knowledge-Based Support for Rapid Software Prototyping

IEEE Expert: Intelligent Systems and Their Applications
CM-Builder: A Natural Language-Based CASE Tool for Object-Oriented Analysis

Automated Software Engineering
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
Weak, strong, and strong cyclic planning via symbolic model checking

Artificial Intelligence - special issue on planning with uncertainty and incomplete information
MDA Distilled

MDA Distilled
Requirements-document-based prototyping of CARA software

International Journal on Software Tools for Technology Transfer (STTT)
Model-Driven Development: Its Essence and Opportunities

ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
Automated AI Planning and Code Pattern Based Code Synthesis

ICTAI '06 Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence
Model-Driven Software Development: Technology, Engineering, Management

Model-Driven Software Development: Technology, Engineering, Management
Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Forward-chaining planning in nondeterministic domains

AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Planning with loops

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs

Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Main memory software environment for pedagogical prototypes

International Journal of Knowledge Engineering and Soft Data Paradigms

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a requirements elicitation approach that is based on model-driven prototyping. Model-driven development fits naturally in evolutionary prototyping because modeling and design are not treated merely as documents but as key parts of the development process. A novel rapid program synthesis approach is applied to speed up the prototype development. MDA, AI planning, and component-based software development techniques are seamlessly integrated together in the approach to achieve rapid prototyping. More importantly, the rapid program synthesis approach can ensure the correctness of the generated code, which is another favorable factor in enabling the development of a production quality prototype in a timely manner.