A problem-oriented analysis of basic UML static requirements modeling concepts

ABSTRACT

The Unified Modeling Language (UML) is a standard modeling language in which some of the best object-oriented (OO) modeling experiences are embedded. In this paper we illustrate the role formal specification techniques can play in developing a precise semantics for the UML. We present a precise characterization of requirements-level (problem-oriented) Class Diagrams and outline how the characterization can be used to semantically analyze requirements Class Diagrams.

REFERENCES

• 1: Andy S. Evans, Reasoning with UML Class Diagrams, Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, p.102, October 20-23, 1998
• 2: Franco Civello, Roles for composite objects in object-oriented analysis and design, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.376-393, September 26-October 01, 1993, Washington, D.C., United States
• 3: R. France, E. Grant, and J-M. Bruel. FUZed: An UML-based rigorous object-oriented analysis technique. CSU technical report, Colorado State University, Fort Collins, Colorado, USA, February 1999.
• 4: Robert B. France , Jean-Michel Bruel , Maria M. Larrondo-Petrie , E. Grant, Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations, Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology, p.216-230, December 13-17, 1997
• 5: Robert B. France, Jean-Michel Bruel, and Gopal Raghavan. Towards rigorous analysis of fusion models: The mirg experience, In Proceedings of the 2nd Northern Formal Methods Workshop, Springer- Verlag, 1997.
• 6: Anthony Hall, Using Z as a Specification Calculus for Object-Oriented Systems, Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development, p.290-318, April 17-21, 1990
• 7: J. Anthony Hall. Specifying and Interpreting Class Hierarchies in Z. In jonathan P. Bowen and J. Anthony Hall, editors, Z User Workshop, Cambridge 199~, Workshops in Computing, pages 120-138. Springer-Verlag, New York, 1994.
• 8: Haim Kilov , James Ross, Information modeling: an object-oriented approach, Prentice-Hall, Inc., Upper Saddle River, NJ, 1994
• 9: R. B. France M. Saksena and M. M. Larrondo- Petrie. A characterization of aggregation. In 5th. International Conference on Object Oriented Information Systems. Springer, 1998.
• 10: The Object Management Group (OMG). Unified Modeling Language. Version 1.3, OMG, http://www.omg.org, June 1999.
• 11: J. M. Spivey, The Z notation: a reference manual, Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1992

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: UML

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Semantics

General Terms:
Design, Languages, Performance, Theory

Keywords:
UML, Z, precise semantics, requirements class diagrams