@article{(Open Science Index):https://publications.waset.org/pdf/7010,
	  title     = {Model Checking Consistency of UML Diagrams Using Alloy},
	  author    = {Akie Nimiya and  Tomoyuki Yokogawa and  Hisashi Miyazaki and Sousuke Amasaki and  Yoichiro Sato and  Michiyoshi Hayase},
	  country	= {},
	  institution	= {},
	  abstract     = {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.
},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {4},
	  number    = {11},
	  year      = {2010},
	  pages     = {1696 - 1699},
	  ee        = {https://publications.waset.org/pdf/7010},
	  url   	= {https://publications.waset.org/vol/47},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 47, 2010},
	}