A predicative semantic model for integrating UML models

  • Authors:

  • Jing Yang;Quan Long;Zhiming Liu;Xiaoshan Li

  • Affiliations:

  • International Institute for Software Technology, The United Nations University, Macau;International Institute for Software Technology, The United Nations University, Macau;International Institute for Software Technology, The United Nations University, Macau;Faculty of Science and Technology, University of Macau, Macau SAR, China

  • Venue:
  • ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

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.