TY - GEN
T1 - Behavioral consistency validation of UML diagrams
AU - Litvak, B.
AU - Tyszberowicz, S.
AU - Yehudai, A.
N1 - Publisher Copyright:
© 2003 IEEE.
PY - 2003
Y1 - 2003
N2 - UML provides several kinds of diagrams to model the behavior and structure of a system under development. A consistency problem may arise due to the fact that some aspects of the model may be described by more than one diagram. Hence, it is important that the consistency of the system description should be checked before implementing it. This paper describes an algorithmic approach to a consistency check between UML sequence and state diagrams. The algorithm we provide also handles complex state diagrams, e.g. diagrams that include forks, joins, and concurrent composite states. We describe the algorithm in detail, and elaborate on the design decisions made while developing the algorithm. We have implemented BVUML, a tool that assists in automating the validation process.
AB - UML provides several kinds of diagrams to model the behavior and structure of a system under development. A consistency problem may arise due to the fact that some aspects of the model may be described by more than one diagram. Hence, it is important that the consistency of the system description should be checked before implementing it. This paper describes an algorithmic approach to a consistency check between UML sequence and state diagrams. The algorithm we provide also handles complex state diagrams, e.g. diagrams that include forks, joins, and concurrent composite states. We describe the algorithm in detail, and elaborate on the design decisions made while developing the algorithm. We have implemented BVUML, a tool that assists in automating the validation process.
UR - http://www.scopus.com/inward/record.url?scp=78651555160&partnerID=8YFLogxK
U2 - 10.1109/SEFM.2003.1236213
DO - 10.1109/SEFM.2003.1236213
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:78651555160
T3 - Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003
SP - 118
EP - 125
BT - Proceedings - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 1st International Conference on Software Engineering and Formal Methods, SEFM 2003
Y2 - 22 September 2003 through 27 September 2003
ER -