This paper is towards the development of a methodology for objectoriented software development. The intention is to support effective use of a formal model for specifying and reasoning during the requirements analysis and design of a software development process. The overall purpose is to enhance the application of the Unified Modelling Language (UML) with a formal semantics in the Rational Unified Software Development Process (RUP). The semantic framework defines the meaning of some UML submodels. It identifies both the static and dynamic relationships among these submodels. Thus, the focus of this paper is the development of a semantic model to consistently combine a use-case model and a conceptual class diagram to form a system specification. © Springer-Verlag 2003.
CITATION STYLE
Liu, Z., Jifeng, H., Li, X., & Chen, Y. (2003). A relational model for formal object-oriented requirement analysis in UML. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2885, 641–664. https://doi.org/10.1007/978-3-540-39893-6_36
Mendeley helps you to discover research relevant for your work.