Abstract
This paper presents a predicative semantic model for integrating models from UML class diagrams and sequence diagrams. The integrated model is used for dealing with consistency problems of UML class diagrams and sequence diagrams. We also define the notion of consistent refinement of these integrated models.
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
Back, R., Mikhajlova, A., von Wright, J.: Class refinement as semantics of correct object substitutability. Formal Aspects of Computing 2, 18–40 (2000)
Back, R.J.R., Petre, L., Paltor, I.P.: Formalizing UML use cases in the refinement calculus. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 518–533. Springer, Heidelberg (1999)
Bell, D.: UML’s sequence diagram. Technical Report 3101, IBM (2004)
Tyszberowicz, S., Litvak, B., Yehudai, A.: Behavioral consistency validation of uml diagrams. In: 1st IEEE International Conference on Software Engineering and Formal Methods(SEFM), pp. 118–125. IEEE Computer Society, Los Alamitos (2003)
Egyed, A.: Scalable consistency checking between diagrams: The Viewintegra approach. In: Proc. 16th IEEE ASE, San Diego, USA (2001)
Engels, G., et al.: A methodology for specifying and analyzing consistency of object-oriented behavioral models. In: The Proc. FSE-10, Austria (2001)
Evans, A., et al.: Developing the UML as a formal modelling notation. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 336–348. Springer, Heidelberg (1999)
Fowler, M.: What is the point of the UML? In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 325–325. Springer, Heidelberg (2003)
Kuester, J.M., Engels, G., Groenewegen, L.: Consistent interaction of software components. In: IDPT 2002 (2002)
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.: Towards a refinement calculus for object-oriented systems (invited talk). In: Proc. ICCI 2002, Alberta, Canada. IEEE Computer Society Press, Los Alamitos (2002)
He, J., Liu, Z., Li, X., Qin, S.: A relational model for object-oriented designs. In: Chin, W.-N. (ed.) APLAS 2004. LNCS, vol. 3302, pp. 415–436. Springer, Heidelberg (2004)
Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)
Kruchten, P.: The Rational Unified Process – An Introduction, 2nd edn. Addison Wesley, Reading (2000)
Kuzniarz, L., Reggio, G., Sourruille, J.L., Huzar, Z.: Consistency problems in uml-based software development. In: Consistency Problems in UML-based Software Development: Workshop Materials (2002)
Larman, C.: Applying UML and Patterns. Prentice-Hall International, Englewood Cliffs (2001)
Li, X., Liu, Z., He, J., Long, Q.: Generating a prototype from a UML model of system requirements. In: Ghosh, R.K., Mohanty, H. (eds.) ICDCIT 2004. LNCS, vol. 3347, pp. 255–265. Springer, Heidelberg (2004)
Liu, J., Liu, Z., He, J., Li, X.: Linking UML models of design and requirement. In: Pro. ASWEC 2004, Melbourne, Australia, IEEE Computer Society Press, Los Alamitos (2004)
Liu, Z.: Object-oriented software development in UML. Technical Report UNU/IIST Report No. 259, UNU/IIST, P.O. Box 3058, Macau, SAR, P.R. China (July 2002)
Liu, Z., He, J., Li, X.: A rigorous approach to UML-base development. In: Mota, A., Moura, A. (eds.) Brazilian symposuim on Formal Formal Methods (SBMF 2004), Recife, Brazil, Editora Universitaria UFPE (2004)
Liu, Z., He, J., Li, X., Chen, Y.: A relational model for formal object-oriented requirement analysis in UML. In: Dong, J.S., Woodcock, J. (eds.) ICFEM 2003. LNCS, vol. 2885, pp. 641–664. Springer, Heidelberg (2003)
Liu, Z., Li, X., He, J.: Using transition systems to unify uml models. Technical report, Dept. of Maths and Computer Science, the University of Leicester, England (May 2002)
Long, Q., Liu, Z., Li, X., He, J.: Consistent code generation from UML models. In: Pro. of Australian Software Engineering Conference (ASWEC 2005), Brisbane, Australia. IEEE Computer Society Press, Los Alamitos (2005)
Mellor, S.J., Balcer, M.J.: Executable UML: a foundation for model-driven architecture. Addison-Wesley, Reading (2002)
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)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference Manual. Addison-Wesley, Reading (1999)
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
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Yang, J., Long, Q., Liu, Z., Li, X. (2005). A Predicative Semantic Model for Integrating UML Models. In: Liu, Z., Araki, K. (eds) Theoretical Aspects of Computing - ICTAC 2004. ICTAC 2004. Lecture Notes in Computer Science, vol 3407. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31862-0_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-31862-0_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25304-4
Online ISBN: 978-3-540-31862-0
eBook Packages: Computer ScienceComputer Science (R0)