Abstract

In object oriented paradigm the analysis and design activities are performed to produce models like analysis model, use case model and design model. These models are developed using Unified Modeling Language abbreviated as UML. Visual modeling using UML is the part of unified software development process. The wholeness or fullness of documenting requirement engineering models like use case model, result in a better quality software product. If we miss anything or commit any mistake in use case model it may propagate to analysis phase. Further there are chances that the same bug is propagated to design, testing and so on until deployment. The cost of removing bugs in testing is very costlier than that of its removal in the starting phase or model. It is therefore very necessary to verify what model we are developing and after the model making process is verified it is necessary to validate the model; that is to declare that the model we have made is correct. In this paper we have investigated the verification of the process of modeling in object oriented paradigm and the validation of the models. This workout makes certain that we are working on the precise models to yield correct product from quality point of view.

References

• Ambler, S. UML Style Guide. Cambridge: Cambridge University Press, 2003.
• Armour, F. , and Miller, G. Advanced Use Case Modelling. Boston: Addison-Wesley, 2001.
• B. Meyer, eds. Upper Saddle River, NJ: Prentice-Hall, 1995, pp. 229–234.
• Beck, K. , and Cunningham, W. "Languages and Applications," Proceedings of Conference on OO Programming Systems. New Orleans, LA: ACM Press, NY, 1989, pp. 1–6.
• Booch, G. , Rumbaugh, J. , and Jacobson, I. The Unified Modelling Language User Guide. Reading, MA: Addison-Wesley, 1999.
• Chen J. , Lu J. , and B. Meyer, eds. Nanjing, China: IEEE Computer Society, 1999, pp. 108–117.
• Cockburn, A. Writing Effective Use Cases. Boston, MA: Addison-Wesley, 2001.
• Constantine, L. , and Lockwood, L. Software for Use: A Practical Guide to the Models and
• Van. M. , Design: Designing Interactive Systems, Harmelen ed. , Addison-Wesley, 2001
• Douglass, B. P. Real-Time Design Patterns: Robust Scalable Architecture for Real-Time Systems. Reading, MA: Addison Wesley Professional, 2003.
• Fowler, M. Patterns of Enterprise Application Architecture. Reading, MA: Addison-Wesley Professional, 2003.
• Glass, R. Facts and Fallacies of Software Engineering. Reading, MA: Addison-Wesley, 2003.
• Hay, D. C. Data Model Patterns: Conventions of Thoughts. New York: Dorset House, 1996.
• Henderson-Sellers, B. Object Oriented Metrics: Measures of Complexity. Upper Saddle River, NJ: Prentice Hall, 1996.
• Henderson-Sellers, B. , and Unhelkar, B. OPEN Modelling with the UML. London: Addison-Wesley, 2000.
• Hudson, W. "A User-Cantered UML method," in Object Modelling and User Interface
• Jacobson, I. , Booch, G. , and Rumbaugh, J. The Unified Software Development Process. Boston: Addison-Wesley, 1999.
• Jacobson, I. , Christerson, M. , Jonsson, P. , andO¨ vergaard, G. Object Oriented Software Engineering: A Use Case Driven Approach. Reading, MA: Addison-Wesley, 1992.
• Lauder, A. , and Kent, S. "Two-Level Modelling," Technology of OO Languages and Systems,
• Lindland, O. I. , Sindre, G. , and Sølvberg, A. "Understanding Quality in Conceptual Modeling," Volume 11 Issue 2, March 1994, IEEE Computer Society Press Los Alamitos, CA, USA
• Mellor, S. J. , and Balcer M. J. Executable UML: A Foundation for Model Driven Architecture. Reading, MA: Addison-Wesley, 2002.
• Miller, G. "The Magical number Sever, Plus or Minus Two: Some Limits on our Capacity for Processing Information," The Psychological Review, 63(2), 1956, pp. 81–97.
• OMG, Model Driven Architecture Initative; accessed 2004.
• OMG. OMG Unified Modeling Language Specification, Version 1. 4, September 2001. OMG
• Perry, W. Quality Assurance for Information Systems. MA: QED Information Sciences, 1991.
• Rosenberg, D. , and Scott, K. Use Case Driven Object Modeling with UML: A Practical Approach. Reading, MA: Addison-Wesley, 1999.
• Rumbaugh, J. , Jacobson, I. , and Booch, G. The Unified Modelling Language Reference Manual. Reading, MA: Addison Wesley Longman, 1999.
• Schneider, G. , and Winters, J. Applying Use Cases: A Practical Guide, 2nd Edition. Boston: Addison-Wesley, 2001
• Unhelkar, B. After the Y2K Fireworks. Boca Raton, FL: CRC Press, 1999.
• Unhelkar, B. Process Quality Assurance for UML-Based Projects. Boston: Addison-Wesley, 2003.
• Unhelkar, B. , and Henderson-Sellers, B. "Modelling Spaces and the UML," Proceedings of the IRMA (Information Resource Management Association) Conference, New Oreleans, 2004.
• Unhelkar, B. , and Henderson-Sellers, B. "ODBMS Considerations in the Granularity of Reuseable OO Design," Proceedings of TOOLS15 Conference, C. Mingins and
• Warmer, J. , and Kleppe, A. The Object Constraint Language. Precise Modeling with UML. Reading, MA: Addison-Wesley, 1998.
• www. omg. org