Residential College | false |
Status | 已發表Published |
A predicative semantic model for integrating UML models | |
Yang J.1; Long Q.1; Liu Z.1; Li X.4 | |
2005-09-19 | |
Conference Name | 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004) |
Source Publication | Lecture Notes in Computer Science |
Volume | 3407 |
Pages | 170-186 |
Conference Date | SEP 20-24, 2004 |
Conference Place | Guiyang, PEOPLES R CHINA |
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. © Springer-Verlag Berlin Heidelberg 2005. |
Keyword | Formal Semantics Model Integration Refinement Uml |
DOI | 10.1007/978-3-540-31862-0_14 |
URL | View the original |
Indexed By | SCIE |
Language | 英語English |
WOS Research Area | Computer Science |
WOS Subject | Computer Science, Theory & Methods |
WOS ID | WOS:000229011500014 |
Scopus ID | 2-s2.0-24644515349 |
Fulltext Access | |
Citation statistics | |
Document Type | Conference paper |
Collection | DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE |
Affiliation | 1.United Nations University International Institute for Software Technology 2.Peking University 3.University of Leicester 4.Universidade de Macau 5.Guizhou University |
Recommended Citation GB/T 7714 | Yang J.,Long Q.,Liu Z.,et al. A predicative semantic model for integrating UML models[C], 2005, 170-186. |
APA | Yang J.., Long Q.., Liu Z.., & Li X. (2005). A predicative semantic model for integrating UML models. Lecture Notes in Computer Science, 3407, 170-186. |
Files in This Item: | There are no files associated with this item. |
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment