| Residential College | false |
| Status | 已發表Published |
| A characterization of UML diagrams and their consistency | |
Li X.
| |
| 2006-12-01 | |
| Conference Name | 11th IEEE International Conference on Engineering of Complex Computer Systems |
| Source Publication | Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
 |
| Pages | 67-76 |
| Conference Date | AUG 15-17, 2006 |
| Conference Place | Stanford, CA |
| Publisher | IEEE |
| Abstract | In this paper, we focus on giving a formal semantics of sequence diagram of UML2.0. A model of a system comprises a set of program variables, a class diagram, a family of normal sequence diagrams, a family of normal state diagrams, and a state constraint. We then define their static and dynamic consistency supported by the formal semantics. © 2006 IEEE. |
| Keyword | Consistency Checking Semantics Sequence Diagram Uml2.0 |
| DOI | 10.1109/ICECCS.2006.1690356 |
| URL | View the original |
| Indexed By | SCIE |
| Language | 英語English |
| WOS Research Area | Computer Science |
| WOS Subject | Computer Science, Hardware & Architecture ; Computer Science, Software Engineering |
| WOS ID | WOS:000240909700008 |
| Scopus ID | 2-s2.0-40949128327 |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Conference paper |
| Collection | DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE |
| Affiliation | Universidade de Macau |
| First Author Affilication | University of Macau |
| Recommended Citation GB/T 7714 | Li X.. A characterization of UML diagrams and their consistency[C]:IEEE, 2006, 67-76. |
| APA | Li X..(2006). A characterization of UML diagrams and their consistency. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 67-76. |
| 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