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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Blum, A., Furst, M.: Fast planning through planning graph analysis. Artificial Intelligence 90, 281–300 (1997)
Boehm, B.: Industrial software metrics top 10 list. IEEE Software 4(5), 84–85 (1987)
Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artificial Intelligence 147(1–2), 35–84 (2003)
Davis, A.: Operational prototyping: A new development approach. Software 9(5), 70–78 (1992)
Fu, J., Bastani, F.B., Yen, I.: Automated AI planning and code pattern based code synthesis. In: ICTAI 2006, pp. 540–546 (2006)
Fu, J., Bastani, F.B., Ng, V., Yen, I., Zhang, Y.: FIP: A fast planning-graph-based iterative planner, Technical Report. UTDCS-03-08, UT-DALLAS (2008)
Harmain, H.M., Gaizauskas, R.: CM-Builder: A natural language-based CASE tool. Journal of Automated Software Engineering, 157–181 (2003)
Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley, Reading (2003)
Kuter, U., Nau, D.: Forward-chaining planning in nondeterministic domains. In: Proceedings of the National Conference on Artificial Intelligence (AAAI-2004), pp. 513–518 (2004)
Lamsweerde, A., Letier, E.: Handling obstacles in goal-oriented requirements engineering. TSE 26(10), 978–1005 (2000)
Levesque, H.: Planning with loops. In: Proc. of the IJCAI 2005 Conference, Edinburgh, Scotland (2005)
Liu, J., Bastani, F.B., Yen, I.: Code Pattern: An approach for component-based code synthesis. In: Proceeding of the 7th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, FL, pp. 330–336 (2003)
Liu, J., Bastani, F.B., Yen, I.: A formal foundation of the operations on code Patterns. In: The International Conference on Software Engineering and Knowledge Engineering, Taipei, Taiwan, Republic of China ( (2005)
Luqi: Knowledge-based support for rapid software prototyping. IEEE Expert 3(4), 9–18 (1988)
Luqi: Software evolution through rapid prototyping. Computer 22(5), 13–25 (1989)
Luqi, Berzins, V., Yeh, R.: A prototyping language for real time software. IEEE Transactions on Software Engineering 14(10), 1409–1423 (1988)
Luqi, Guan, Z., Berzins, V., Zhang, L., Dloodeen, D., Coskun, C., Pueett, J., Brown, M.: Requirements document based prototyping of CARA software. International Journal on Software Tools for Technology Transfer 5(4), 370–390 (2004)
Luqi, Kordon, F.: Advances in Requirements Engineering: Bridging the Gap between Stakeholders’ Needs and Formal Designs. In: Paech, B., Martell, C. (eds.) Monterey Workshop 2007. LNCS, vol. 5320, pp. 15–24. Springer, Heidelberg (2008)
Manna, Z., Waldinger, R.: Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering 8(18), 674–704 (1992)
Mcclendon, C.M., Regot, L., Akers, G.: The Analysis and Prototyping of Effective Graphical User Interfaces (October 1996)
Mellor, S.J., Scott, K., Uhl, A., Weise, D.: MDA Distilled: Principles of Model-Driven Architecture. Addison-Wesley, Reading (2004)
Nuseibeh, B., Easterbrook, S.: Requirements engineering: A roadmap. The Future of Software Engineering. In: 22nd International Conference on Software Engineering, pp. 35–46. ACM-IEEE (2000) (special issue)
Object Management Group: MDA Guide: Version 1.0.1, OMG document omg/03-06-01 (2005)
Overmyer, S.L.V., Rambow, O.: Conceptual modeling through linguistics analysis Using LID. In: 23rd international conference on Software engineering (2001)
Puterman, M.L.: Markov Decision Processes. Wiley, Chichester (1994)
Selic, B.: Model-driven development: Its essence and opportunities. In: 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing (ISORC), pp. 313–319 (2006)
Stahl, T., Völter, M., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. John Wiley, Chichester (2006)
Stickel, M.E., Waldinger, R.J., Chaudhri, V.K.: A Guide to SNARK (2005), http://www.ai.sri.com/snark/tutorial/tutorial.html
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley, Reading (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fu, J., Bastani, F.B., Yen, IL. (2008). Model-Driven Prototyping Based Requirements Elicitation. In: Paech, B., Martell, C. (eds) Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs. Monterey Workshop 2007. Lecture Notes in Computer Science, vol 5320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89778-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-89778-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89777-4
Online ISBN: 978-3-540-89778-1
eBook Packages: Computer ScienceComputer Science (R0)