Formal and Use-Case Driven Requirement Analysis in UML

Xiaoshan Li,Zhiming Liu,Jifeng He
DOI: https://doi.org/10.1109/CMPSAC.2001.960619
2001-01-01
Abstract:We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.
What problem does this paper attempt to address?