Cite this paper
nullP. Kaliappan and H. Koenig, "Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker," Journal of Software Engineering and Applications
, Vol. 1 No. 1, 2008, pp. 13-19. doi: 10.4236/jsea.2008.11003
 C. Werner, “UML profile for communicating systems,” Ph.D thesis, University of Gottingen, Department of Computer Science, 2006.
 Unified Modeling Language, The official homepage of UML, Object Management Group.
 Model Driven Architecture: A Technical Perspective, Architecture Board MDA Drafting Team, Document
 Process Meta Language.
 G. J. Holzmann, “The model checker SPIN,” IEEE Transactions on Software Engineering, 23 (1997) 5: pp. 279–295, 1997.
 M. Farid, G. Patrice, and B. Mourad, “Verifying UML diagrams with model checking: A rewriting logic based approach,” Seventh International Conference on Quality Software (QSIC 2007), pp. 356–362, 2007.
 S. Wuwei, C. Kevinon, and H. James, “A toolset for supporting UML static and dynamic model checking,” 26th Annual International Computer Software and Applications Conference, 2002.
 B. Prasanta, “Automated translation of UML models of architectures for verification and simulation using SPIN.,” 14th IEEE International Conference on Automated Software Engineering (ASE’99), pp. 102–109, 1999.
 S. W. Vitus and J. Padget, “Symbolic Model Checking of UML Statechart Diagrams with an Integrated Approach,” 11th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS’04), pp. 337–346, 2004.
 A. Kleppe, J. Warmer, and W. Bast, “MDA Explained—The Model Driven Architecture: Practice and Promise,” Addison-Wesley, 2003.
 Query, Views, Transformations: A Specification document. http://www.omg.org/technology/documents/modeling spec catalog.htm.
 eXample Data Transfer (XDT) Protocol. http://www.protocol-engineering.tu-cottbus.de/index_xdt.htm
 E. M. Clarke, O. Grumberg, and D. Peled, “Model checking,” MIT Press, 1999.