Towards a Formal Use of UML for Software Requirement Analysis

摘要

This work attempts to develop a method to support the formal use of UML in object-oriented software development. The method will include formal definitions of the modelling units in UML which can be used to relate the different UML models used at different stages during a software development process. It intends to support step-wised refinement and component-based development in building models. As a starting point, this paper deals with a formalization of the UML models used in requirement analysis, i.e. use-case models and conceptual models.