%0 Conference Paper %1 li_06_characterization %A Li, Xiaoshan %A Li, Xiaoshan %B Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on %D 2006 %J Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on %K 2006 uml %P 10 pp.+ %R 10.1109/ICECCS.2006.1690356 %T A characterization of UML diagrams and their consistency A characterization of UML diagrams and their consistency %U http://dx.doi.org/10.1109/ICECCS.2006.1690356 %X 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.

@inproceedings{li_06_characterization, 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.}, added-at = {2009-02-11T20:57:56.000+0100}, author = {Li, Xiaoshan and Li, Xiaoshan}, biburl = {https://www.bibsonomy.org/bibtex/25b2d308c3784db85f91bff6b80c9c26b/leonardo}, booktitle = {Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on}, citeulike-article-id = {2140537}, doi = {10.1109/ICECCS.2006.1690356}, interhash = {b290667de5941afb1cef99110e590fd7}, intrahash = {5b2d308c3784db85f91bff6b80c9c26b}, journal = {Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on}, keywords = {2006 uml}, pages = {10 pp.+}, posted-at = {2007-12-18 11:23:10}, priority = {2}, timestamp = {2009-02-11T20:57:56.000+0100}, title = {A characterization of UML diagrams and their consistency A characterization of UML diagrams and their consistency}, url = {http://dx.doi.org/10.1109/ICECCS.2006.1690356}, year = 2006 }