Published November 20, 2010
| Version 7010
Journal article
Open
Model Checking Consistency of UML Diagrams Using Alloy
Description
In this paper, we proposed a method for detecting consistency violation between UML state machine diagrams and communication diagrams using Alloy. Using input language of Alloy, the proposed method expresses system behaviors described by state machine diagrams, message sequences described by communication diagrams, and a consistency property. As a result of application for an example system, we confirmed that consistency violation could be detected using Alloy correctly.
Files
7010.pdf
Files
(194.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:67257b482903676eea3b3ae51cc75df0
|
194.8 kB | Preview Download |