%0 Conference Paper %1 wang_05_consistency %A Wang, Hongyuan %A Wang, Hongyuan %A Feng, Tie %A Feng, Tie %A Zhang, Jiachen %A Zhang, Jiachen %A Zhang, Ke %B Communications and Information Technology, 2005. ISCIT 2005. IEEE International Symposium on %D 2005 %J Communications and Information Technology, 2005. ISCIT 2005. IEEE International Symposium on %K 2005 %P 486--489 %R 10.1109/ISCIT.2005.1566899 %T Consistency check between behaviour models Consistency check between behaviour models %U http://dx.doi.org/10.1109/ISCIT.2005.1566899 %V 1 %X In UML, a modeling language popularly used to describe models at different abstraction levels, sequence diagram and statechart are both used to represent systems' behavior models. A consistency problem may arise due to the fact that sequence diagram represent interactive behavior of all objects, whereas statechart represent the complete behavior of one specific object. This paper proposes an approach checking the consistency between sequence diagrams and state diagrams. In our approach, statechart is formalized using finite state processes and sequence diagram is represented using messages trace. An existing tool LTSA is used to support our method.

@inproceedings{wang_05_consistency, abstract = {In UML, a modeling language popularly used to describe models at different abstraction levels, sequence diagram and statechart are both used to represent systems' behavior models. A consistency problem may arise due to the fact that sequence diagram represent interactive behavior of all objects, whereas statechart represent the complete behavior of one specific object. This paper proposes an approach checking the consistency between sequence diagrams and state diagrams. In our approach, statechart is formalized using finite state processes and sequence diagram is represented using messages trace. An existing tool LTSA is used to support our method.}, added-at = {2009-02-11T21:04:15.000+0100}, author = {Wang, Hongyuan and Wang, Hongyuan and Feng, Tie and Feng, Tie and Zhang, Jiachen and Zhang, Jiachen and Zhang, Ke}, biburl = {https://www.bibsonomy.org/bibtex/2c22c19cfc85153e2087e66eff5c4e717/leonardo}, booktitle = {Communications and Information Technology, 2005. ISCIT 2005. IEEE International Symposium on}, citeulike-article-id = {2140503}, doi = {10.1109/ISCIT.2005.1566899}, interhash = {c9a7e6e1716df9f1ba6a7c75f8dc0039}, intrahash = {c22c19cfc85153e2087e66eff5c4e717}, journal = {Communications and Information Technology, 2005. ISCIT 2005. IEEE International Symposium on}, keywords = {2005}, pages = {486--489}, posted-at = {2007-12-18 11:14:39}, priority = {2}, timestamp = {2009-02-11T21:04:15.000+0100}, title = {Consistency check between behaviour models Consistency check between behaviour models}, url = {http://dx.doi.org/10.1109/ISCIT.2005.1566899}, volume = 1, year = 2005 }