Abstract
This paper is towards the development of a methodology for object-oriented 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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aguirre, N., Maibaum, T.: A temporal logic approach to component-based system specification and verification. In: Proc. ICSE 2002 (2002)
Back, R.J.R., Petre, L., Paltor, I.P.: Formalizing UML use cases in the refinement calculus. Technical Report 279, Turku Centre for Computer Science, Turku, Finland (May 1999)
Cheesman, J., Daniels, J.: UML Components. Component Software series. Addison-Wesley, Reading (2001)
Davies, J., Crichton, C.: Concurrency and refinement in the unified modelling language. In: Preliminary Proceedings of REFINE 2002: An FME Sponsored Refinement Workshop in Collaboration with BCS FACS, Copenhagen, Denmark (2002)
D’Souza, D., Wills, A.C.: Objects, Components and Framework with UML: The Catalysis Approach. Addison-Wesley, Reading (1998)
Egyed, A.: Scalable consistency checking between diagrams: The Viewintegra approach. In: Proc. of the 16th IEEE International Conference on Automated Software Engineering, San Diego, USA (2001)
Engels, G., Kuster, J.M., Heckel, R., Groenewewegen, L.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: The Proc. of International Conference on Foundation of Software Engineering, FSE-10, Austria (2001)
Fiadeiro, J., Maibaum, T.: Design structures for object-based systems. In: Goldsack, S., Kent, S. (eds.) Fomal Methods and Object Technology. Springer, Heidelberg (1996)
Fischer, C., Olderog, E.-R., Wehrheim, H.: A CSP view on UML-RT structure diagrams. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 91–108. Springer, Heidelberg (2001)
France, R., Evans, A., Lano, K., Rumpe, B.: The UML as a formal modeling notation. Computer Standards & Interfaces 19, 325–334 (1998)
Object Modelling Group. Unified Modelling Language Specification, version 1.3 (1999), URL: uml.shl.com:80/docs/UML.1.3/99-06-08.pdf
Harel, D., Rumpe, B.: Modeling languages: Syntax, semantics and all that stuff - part I: The basic stuff. Technical Report MCS00-16, The Weizmann Institute of Science, Israel (September 2000)
He, J., Liu, Z., Li, X.: A relational model for object-oriented programming. Technical Report UNU/IIST Report No 231, UNU/IIST, P.O. Box 3058, Macau (March 2001)
He, J., Liu, Z., Li, X.: Towards a refinement calculus for object-oriented systems. In: Proc. ICCI 2002, Alberta, Canada. IEEE Computer Scociety, Los Alamitos (2002)
Hoare, C.A.R., He, J.: Unifying theories of programming. Prentice-Hall International, Englewood Cliffs (1998)
Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley, Reading (1999)
Jürjens, J.: Formal semantics for interacting UML subsystems. In: FMOODS 2002, pp. 29–44 (2002)
Kent, S.: Constraint diagrams: Visualising invariants in object-oriented models. In: OOPSLA 1997. ACM Press, New York (1997)
Kruchten, P.: The Rational Unified Process – An Introduction, 2nd edn.
Larman, C.: Applying UML and Patterns. Prentice-Hall International, Englewood Cliffs (2001)
Li, X., Liu, Z., He, J.: Formal and use-case driven requirement analysis in UML. In: COMPSAC 2001, Illinois, USA, October 2001, pp. 215–224. IEEE Computer Society, Los Alamitos (2001)
Li, X., Liu, Z., He, J.: Generating a prototype from a UML model of system requirements (2003) (Submitted for publication)
Liu, J., Liu, Z., Li, X., He, J.: Towards an integrating a formal method with the Rational Unified Process (2003) (Submitted for publication)
Liu, Z., Li, X., He, J.: Using transition systems to unify uml models. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 535–547. Springer, Heidelberg (2002)
Mana, Z., Pnueli, A.: The temporal framework for concurrent programs. In: Boyer, R.S., Moore, J.S. (eds.) The Correctness Problem in Computer Science, pp. 215–274. Academic Press, London (1981)
Reggio, G., Cerioli, M., Astesiano, E.: Towards a rigorous semantics of UML supporting its multiview approach. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, p. 171. Springer, Heidelberg (2001)
Selic, B.: Using UML for modelling complex real-time systems. In: Müller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, pp. 250–262. Springer, Heidelberg (1998)
Warmer, J., Kleppe, A.: The Object Constraint Language: precise modeling with UML. Addison-Wesley, Reading (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liu, Z., Jifeng, H., Li, X., Chen, Y. (2003). A Relational Model for Formal Object-Oriented Requirement Analysis in UML. In: Dong, J.S., Woodcock, J. (eds) Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol 2885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39893-6_36
Download citation
DOI: https://doi.org/10.1007/978-3-540-39893-6_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20461-9
Online ISBN: 978-3-540-39893-6
eBook Packages: Springer Book Archive