| Residential College | false |
| Status | 已發表Published |
| Linking UML models of design and requirement | |
| Liu J.1; Liu Z.1; He J.1; Li X.4 | |
| 2004-06-22 | |
| Conference Name | 15th Australian Software Engineering Conference |
| Source Publication | Proceedings of the Australian Software Engineering Conference, ASWEC
 |
| Volume | 2004 |
| Pages | 329-338 |
| Conference Date | APR 13-16, 2004 |
| Conference Place | Melbourne, AUSTRALIA |
| Abstract | In this paper, both a UML model of requirement and a U ML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semantics for models of requirements and designs. We define the consistency between a design class diagram and the interaction diagrams and show how the removal of inconsistency can be treated as a model refinement. We then formally define the correctness of UML model of design with respect to the model of requirement. |
| Keyword | Consistency Semantics Uml |
| URL | View the original |
| Language | 英語English |
| WOS ID | WOS:000221453700035 |
| Scopus ID | 2-s2.0-2942590369 |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Conference paper |
| Collection | University of Macau |
| Affiliation | 1.United Nations University International Institute for Software Technology 2.Shanghai University 3.University of Leicester 4.Universidade de Macau |
| Recommended Citation GB/T 7714 | Liu J.,Liu Z.,He J.,et al. Linking UML models of design and requirement[C], 2004, 329-338. |
| APA | Liu J.., Liu Z.., He J.., & Li X. (2004). Linking UML models of design and requirement. Proceedings of the Australian Software Engineering Conference, ASWEC, 2004, 329-338. |
| 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