论文信息 - TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS

TOWARD A FORMALIZATION OF USE CASE DIAGRAM USING Z SPECIFICATIONS

The Unified Modeling Language (UML) is an evolutionary step in the development of Object-Oriented analysis and design (OOA&D) methods that appeared in the late '80s and early '90s. UML has become a widely adopted standard in the software development industry. Various attempts have been made to formally define the syntax and semantics of the UML notations, and to represent its models in a formal notation. The purpose of these attempts is to allow UML models to be rigorously checked, and to allow formal analysis of the modeled systems. Use Case Diagram is one of the diagrams supported by UML which describe the functional requirements of the system under development, helping to identify the complete set of user requirements. This paper aims to present a tentative approach to provide the Use Case Diagram with formal semantics using Z specification language.

[1] Susan Stepney,et al. Formal Proof from UML Models , 2004, ICFEM.

[2] P. Krishnan. A Framework for Analyses of Use Case Descriptions , 2003 .

[3] 강문설. [서평]「The Unified Modeling Language User Guide」 , 1999 .

[4] Magne Jørgensen,et al. Understanding Use Case Models , 2000 .

[5] Bernhard Rumpe,et al. The UML as a formal modeling notation , 1998, Comput. Stand. Interfaces.

[6] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[7] J. Bruel. Transforming UML Models to Formal Speci cations , 1998 .

[8] T. Clark,et al. of the 2 nd BCS-FACS Northern Formal Methods Workshop , Ilkley , 14-15 July 1997 Foundations of the Unified Modeling Language , 1997 .